Gotowa bibliografia na temat „Quantifier alternation”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Quantifier alternation”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Quantifier alternation"
Benmamoun, Elabbas. "The Syntax of Quantifiers and Quantifier Float". Linguistic Inquiry 30, nr 4 (październik 1999): 621–42. http://dx.doi.org/10.1162/002438999554237.
Pełny tekst źródłaHuumo, Tuomas. "Layers of (un)boundedness: The aspectual–quantificational interplay of quantifiers and partitive case in Finnish object arguments". Linguistics 58, nr 3 (26.05.2020): 905–36. http://dx.doi.org/10.1515/ling-2020-0084.
Pełny tekst źródłaPikhurko, Oleg, Joel Spencer i Oleg Verbitsky. "Decomposable graphs and definitions with no quantifier alternation". European Journal of Combinatorics 28, nr 8 (listopad 2007): 2264–83. http://dx.doi.org/10.1016/j.ejc.2007.04.016.
Pełny tekst źródłaZhukovskii, M. E. "Quantifier Alternation in First-Order Formulas with Infinite Spectra". Problems of Information Transmission 53, nr 4 (15.04.2017): 391–403. http://dx.doi.org/10.1134/s003294601704007x.
Pełny tekst źródłaMatz, Oliver, Nicole Schweikardt i Wolfgang Thomas. "The Monadic Quantifier Alternation Hierarchy over Grids and Graphs". Information and Computation 179, nr 2 (grudzień 2002): 356–83. http://dx.doi.org/10.1006/inco.2002.2955.
Pełny tekst źródłaKufleitner, Manfred, i Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy Over Infinite Words". Theory of Computing Systems 62, nr 3 (4.08.2017): 467–80. http://dx.doi.org/10.1007/s00224-017-9801-x.
Pełny tekst źródłaKufleitner, Manfred, i Tobias Walter. "One quantifier alternation in first-order logic with modular predicates". RAIRO - Theoretical Informatics and Applications 49, nr 1 (styczeń 2015): 1–22. http://dx.doi.org/10.1051/ita/2014024.
Pełny tekst źródłaPlace, Thomas, i Marc Zeitoun. "Going Higher in First-Order Quantifier Alternation Hierarchies on Words". Journal of the ACM 66, nr 2 (26.04.2019): 1–65. http://dx.doi.org/10.1145/3303991.
Pełny tekst źródłaPikhurko, Oleg, i Oleg Verbitsky. "Descriptive complexity of finite structures: Saving the quantifier rank". Journal of Symbolic Logic 70, nr 2 (czerwiec 2005): 419–50. http://dx.doi.org/10.2178/jsl/1120224721.
Pełny tekst źródłaKeisler, H. Jerome, i Wafik Boulos Lotfallah. "First order quantifiers in monadic second order logic". Journal of Symbolic Logic 69, nr 1 (marzec 2004): 118–36. http://dx.doi.org/10.2178/jsl/1080938831.
Pełny tekst źródłaRozprawy doktorskie na temat "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.
Znajdź pełny tekst źródłaWię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.
Pełny tekst źródłaKsiążki na temat "Quantifier alternation"
Azzouni, Jody. Transcendence and Immanence. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190622558.003.0001.
Pełny tekst źródłaCzęści książek na temat "Quantifier alternation"
Pierron, Théo, Thomas Place i Marc Zeitoun. "Quantifier Alternation for Infinite Words". W 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.
Pełny tekst źródłaBradfield, J. C. "Fixpoint Alternation and the Game Quantifier". W Computer Science Logic, 350–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48168-0_25.
Pełny tekst źródłaKufleitner, Manfred, i Pascal Weil. "On FO 2 Quantifier Alternation over Words". W 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.
Pełny tekst źródłaZhang, Ting, Henny B. Sipma i Zohar Manna. "Term Algebras with Length Function and Bounded Quantifier Alternation". W 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.
Pełny tekst źródłaSchweikardt, Nicole. "The monadic quantifier alternation hierarchy over grids and pictures". W Computer Science Logic, 441–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028030.
Pełny tekst źródłaKufleitner, Manfred, i Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy over Infinite Words". W Computer Science – Theory and Applications, 223–36. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-34171-2_16.
Pełny tekst źródłaMatz, Oliver. "Dot-Depth and Monadic Quantifier Alternation over Pictures — Extended Abstract". W Ausgezeichnete Informatikdissertationen 1999, 169–78. Wiesbaden: Vieweg+Teubner Verlag, 2000. http://dx.doi.org/10.1007/978-3-322-84823-9_16.
Pełny tekst źródłaPlace, Thomas, i Marc Zeitoun. "Going Higher in the First-Order Quantifier Alternation Hierarchy on Words". W Automata, Languages, and Programming, 342–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-43951-7_29.
Pełny tekst źródłaLy, Olivier. "The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite". W 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.
Pełny tekst źródłaYu, Emily, Armin Biere i Keijo Heljanko. "Progress in Certifying Hardware Model Checking Results". W Computer Aided Verification, 363–86. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_17.
Pełny tekst źródłaStreszczenia konferencji na temat "Quantifier alternation"
Thérien, Denis, i Thomas Wilke. "Over words, two variables are as powerful as one quantifier alternation". W the thirtieth annual ACM symposium. New York, New York, USA: ACM Press, 1998. http://dx.doi.org/10.1145/276698.276749.
Pełny tekst źródłaSteedman, Mark. "Alternating quantifier scope in CCG". W 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.
Pełny tekst źródłaPlace, Thomas. "Separating Regular Languages with Two Quantifiers Alternations". W 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2015. http://dx.doi.org/10.1109/lics.2015.28.
Pełny tekst źródłaHu, Jie, i Yan Wang. "Sensitivity Analysis in Quantified Interval Constraint Satisfaction Problems". W 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.
Pełny tekst źródłaFoster, Garrett, i Scott Ferguson. "Assessing the Effectiveness of Using Graveyard Data for Generating Design Alternatives". W ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-48636.
Pełny tekst źródłaSarver, Joseph J., i Dawn M. Elliott. "An Alternative Method for Determining the Neutral Zone of Spinal Motion Segment Units". W ASME 2003 International Mechanical Engineering Congress and Exposition. ASMEDC, 2003. http://dx.doi.org/10.1115/imece2003-43058.
Pełny tekst źródłaLuan, Siyao, Deborah L. Thurston, Madhav Arora i James T. Allison. "Developing and Comparing Alternative Design Optimization Formulations for a Vibration Absorber Example". W 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.
Pełny tekst źródłaVukadinovic, Vlade, Peter Habisreuther i Nikolaos Zarzalis. "Experimental Study on Combustion Characteristics of Conventional and Alternative Liquid Fuels". W ASME Turbo Expo 2012: Turbine Technical Conference and Exposition. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/gt2012-69449.
Pełny tekst źródłaBarrozo, Marcos A. S., N. C. Silva, T. C. Silva, A. O. Santos, I. S. Graton i C. R. Duarte. "Drying of microalga Spirulina platensis in a rotary dryer with inert bed". W 21st International Drying Symposium. Valencia: Universitat Politècnica València, 2018. http://dx.doi.org/10.4995/ids2018.2018.7457.
Pełny tekst źródłaXiong, Qingwen, Junli Gou i Jianqiang Shan. "Investigation on Methods for Uncertainty Quantification of Constitutive Models and the Application in BEPU". W 2018 26th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/icone26-81425.
Pełny tekst źródła