Literatura académica sobre el tema "Quantifier alternation"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Quantifier alternation".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Quantifier alternation"
Benmamoun, Elabbas. "The Syntax of Quantifiers and Quantifier Float". Linguistic Inquiry 30, n.º 4 (octubre de 1999): 621–42. http://dx.doi.org/10.1162/002438999554237.
Texto completoHuumo, Tuomas. "Layers of (un)boundedness: The aspectual–quantificational interplay of quantifiers and partitive case in Finnish object arguments". Linguistics 58, n.º 3 (26 de mayo de 2020): 905–36. http://dx.doi.org/10.1515/ling-2020-0084.
Texto completoPikhurko, Oleg, Joel Spencer y Oleg Verbitsky. "Decomposable graphs and definitions with no quantifier alternation". European Journal of Combinatorics 28, n.º 8 (noviembre de 2007): 2264–83. http://dx.doi.org/10.1016/j.ejc.2007.04.016.
Texto completoZhukovskii, M. E. "Quantifier Alternation in First-Order Formulas with Infinite Spectra". Problems of Information Transmission 53, n.º 4 (15 de abril de 2017): 391–403. http://dx.doi.org/10.1134/s003294601704007x.
Texto completoMatz, Oliver, Nicole Schweikardt y Wolfgang Thomas. "The Monadic Quantifier Alternation Hierarchy over Grids and Graphs". Information and Computation 179, n.º 2 (diciembre de 2002): 356–83. http://dx.doi.org/10.1006/inco.2002.2955.
Texto completoKufleitner, Manfred y Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy Over Infinite Words". Theory of Computing Systems 62, n.º 3 (4 de agosto de 2017): 467–80. http://dx.doi.org/10.1007/s00224-017-9801-x.
Texto completoKufleitner, Manfred y Tobias Walter. "One quantifier alternation in first-order logic with modular predicates". RAIRO - Theoretical Informatics and Applications 49, n.º 1 (enero de 2015): 1–22. http://dx.doi.org/10.1051/ita/2014024.
Texto completoPlace, Thomas y Marc Zeitoun. "Going Higher in First-Order Quantifier Alternation Hierarchies on Words". Journal of the ACM 66, n.º 2 (26 de abril de 2019): 1–65. http://dx.doi.org/10.1145/3303991.
Texto completoPikhurko, Oleg y Oleg Verbitsky. "Descriptive complexity of finite structures: Saving the quantifier rank". Journal of Symbolic Logic 70, n.º 2 (junio de 2005): 419–50. http://dx.doi.org/10.2178/jsl/1120224721.
Texto completoKeisler, H. Jerome y Wafik Boulos Lotfallah. "First order quantifiers in monadic second order logic". Journal of Symbolic Logic 69, n.º 1 (marzo de 2004): 118–36. http://dx.doi.org/10.2178/jsl/1080938831.
Texto completoTesis sobre el tema "Quantifier alternation"
Więckowski, Bartosz. "Modality without reference an alternative semantics for substitutional quantified modal logic and its philosophical significance /". [S.l. : s.n.], 2006.
Buscar texto completoWięckowski, Bartosz [Verfasser]. "Modality without reference : an alternative semantics for substitutional quantified modal logic and its philosophical significance / vorgelegt von Bartosz Wiȩckowski". 2007. http://d-nb.info/983714568/34.
Texto completoLibros sobre el tema "Quantifier alternation"
Azzouni, Jody. Transcendence and Immanence. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190622558.003.0001.
Texto completoCapítulos de libros sobre el tema "Quantifier alternation"
Pierron, Théo, Thomas Place y Marc Zeitoun. "Quantifier Alternation for Infinite Words". En Lecture Notes in Computer Science, 234–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-49630-5_14.
Texto completoBradfield, J. C. "Fixpoint Alternation and the Game Quantifier". En Computer Science Logic, 350–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48168-0_25.
Texto completoKufleitner, Manfred y Pascal Weil. "On FO 2 Quantifier Alternation over Words". En Mathematical Foundations of Computer Science 2009, 513–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03816-7_44.
Texto completoZhang, Ting, Henny B. Sipma y Zohar Manna. "Term Algebras with Length Function and Bounded Quantifier Alternation". En Lecture Notes in Computer Science, 321–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30142-4_23.
Texto completoSchweikardt, Nicole. "The monadic quantifier alternation hierarchy over grids and pictures". En Computer Science Logic, 441–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028030.
Texto completoKufleitner, Manfred y Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy over Infinite Words". En Computer Science – Theory and Applications, 223–36. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-34171-2_16.
Texto completoMatz, Oliver. "Dot-Depth and Monadic Quantifier Alternation over Pictures — Extended Abstract". En Ausgezeichnete Informatikdissertationen 1999, 169–78. Wiesbaden: Vieweg+Teubner Verlag, 2000. http://dx.doi.org/10.1007/978-3-322-84823-9_16.
Texto completoPlace, Thomas y Marc Zeitoun. "Going Higher in the First-Order Quantifier Alternation Hierarchy on Words". En Automata, Languages, and Programming, 342–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-43951-7_29.
Texto completoLy, Olivier. "The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite". En FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 188–200. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44450-5_15.
Texto completoYu, Emily, Armin Biere y Keijo Heljanko. "Progress in Certifying Hardware Model Checking Results". En Computer Aided Verification, 363–86. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_17.
Texto completoActas de conferencias sobre el tema "Quantifier alternation"
Thérien, Denis y Thomas Wilke. "Over words, two variables are as powerful as one quantifier alternation". En the thirtieth annual ACM symposium. New York, New York, USA: ACM Press, 1998. http://dx.doi.org/10.1145/276698.276749.
Texto completoSteedman, Mark. "Alternating quantifier scope in CCG". En the 37th annual meeting of the Association for Computational Linguistics. Morristown, NJ, USA: Association for Computational Linguistics, 1999. http://dx.doi.org/10.3115/1034678.1034728.
Texto completoPlace, Thomas. "Separating Regular Languages with Two Quantifiers Alternations". En 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2015. http://dx.doi.org/10.1109/lics.2015.28.
Texto completoHu, Jie y Yan Wang. "Sensitivity Analysis in Quantified Interval Constraint Satisfaction Problems". En ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/detc2013-12460.
Texto completoFoster, Garrett y Scott Ferguson. "Assessing the Effectiveness of Using Graveyard Data for Generating Design Alternatives". En ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-48636.
Texto completoSarver, Joseph J. y Dawn M. Elliott. "An Alternative Method for Determining the Neutral Zone of Spinal Motion Segment Units". En ASME 2003 International Mechanical Engineering Congress and Exposition. ASMEDC, 2003. http://dx.doi.org/10.1115/imece2003-43058.
Texto completoLuan, Siyao, Deborah L. Thurston, Madhav Arora y James T. Allison. "Developing and Comparing Alternative Design Optimization Formulations for a Vibration Absorber Example". En ASME 2017 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/detc2017-68337.
Texto completoVukadinovic, Vlade, Peter Habisreuther y Nikolaos Zarzalis. "Experimental Study on Combustion Characteristics of Conventional and Alternative Liquid Fuels". En ASME Turbo Expo 2012: Turbine Technical Conference and Exposition. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/gt2012-69449.
Texto completoBarrozo, Marcos A. S., N. C. Silva, T. C. Silva, A. O. Santos, I. S. Graton y C. R. Duarte. "Drying of microalga Spirulina platensis in a rotary dryer with inert bed". En 21st International Drying Symposium. Valencia: Universitat Politècnica València, 2018. http://dx.doi.org/10.4995/ids2018.2018.7457.
Texto completoXiong, Qingwen, Junli Gou y Jianqiang Shan. "Investigation on Methods for Uncertainty Quantification of Constitutive Models and the Application in BEPU". En 2018 26th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/icone26-81425.
Texto completo