Добірка наукової літератури з теми "Quantifier alternation"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Quantifier alternation".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Quantifier alternation"
Benmamoun, Elabbas. "The Syntax of Quantifiers and Quantifier Float." Linguistic Inquiry 30, no. 4 (October 1999): 621–42. http://dx.doi.org/10.1162/002438999554237.
Повний текст джерелаHuumo, Tuomas. "Layers of (un)boundedness: The aspectual–quantificational interplay of quantifiers and partitive case in Finnish object arguments." Linguistics 58, no. 3 (May 26, 2020): 905–36. http://dx.doi.org/10.1515/ling-2020-0084.
Повний текст джерелаPikhurko, Oleg, Joel Spencer, and Oleg Verbitsky. "Decomposable graphs and definitions with no quantifier alternation." European Journal of Combinatorics 28, no. 8 (November 2007): 2264–83. http://dx.doi.org/10.1016/j.ejc.2007.04.016.
Повний текст джерелаZhukovskii, M. E. "Quantifier Alternation in First-Order Formulas with Infinite Spectra." Problems of Information Transmission 53, no. 4 (April 15, 2017): 391–403. http://dx.doi.org/10.1134/s003294601704007x.
Повний текст джерелаMatz, Oliver, Nicole Schweikardt, and Wolfgang Thomas. "The Monadic Quantifier Alternation Hierarchy over Grids and Graphs." Information and Computation 179, no. 2 (December 2002): 356–83. http://dx.doi.org/10.1006/inco.2002.2955.
Повний текст джерелаKufleitner, Manfred, and Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy Over Infinite Words." Theory of Computing Systems 62, no. 3 (August 4, 2017): 467–80. http://dx.doi.org/10.1007/s00224-017-9801-x.
Повний текст джерелаKufleitner, Manfred, and Tobias Walter. "One quantifier alternation in first-order logic with modular predicates." RAIRO - Theoretical Informatics and Applications 49, no. 1 (January 2015): 1–22. http://dx.doi.org/10.1051/ita/2014024.
Повний текст джерелаPlace, Thomas, and Marc Zeitoun. "Going Higher in First-Order Quantifier Alternation Hierarchies on Words." Journal of the ACM 66, no. 2 (April 26, 2019): 1–65. http://dx.doi.org/10.1145/3303991.
Повний текст джерелаPikhurko, Oleg, and Oleg Verbitsky. "Descriptive complexity of finite structures: Saving the quantifier rank." Journal of Symbolic Logic 70, no. 2 (June 2005): 419–50. http://dx.doi.org/10.2178/jsl/1120224721.
Повний текст джерелаKeisler, H. Jerome, and Wafik Boulos Lotfallah. "First order quantifiers in monadic second order logic." Journal of Symbolic Logic 69, no. 1 (March 2004): 118–36. http://dx.doi.org/10.2178/jsl/1080938831.
Повний текст джерелаДисертації з теми "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.
Знайти повний текст джерелаWię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.
Повний текст джерелаКниги з теми "Quantifier alternation"
Azzouni, Jody. Transcendence and Immanence. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190622558.003.0001.
Повний текст джерелаЧастини книг з теми "Quantifier alternation"
Pierron, Théo, Thomas Place, and Marc Zeitoun. "Quantifier Alternation for Infinite Words." In 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.
Повний текст джерелаBradfield, J. C. "Fixpoint Alternation and the Game Quantifier." In Computer Science Logic, 350–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48168-0_25.
Повний текст джерелаKufleitner, Manfred, and Pascal Weil. "On FO 2 Quantifier Alternation over Words." In 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.
Повний текст джерелаZhang, Ting, Henny B. Sipma, and Zohar Manna. "Term Algebras with Length Function and Bounded Quantifier Alternation." In 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.
Повний текст джерелаSchweikardt, Nicole. "The monadic quantifier alternation hierarchy over grids and pictures." In Computer Science Logic, 441–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0028030.
Повний текст джерелаKufleitner, Manfred, and Tobias Walter. "Level Two of the Quantifier Alternation Hierarchy over Infinite Words." In Computer Science – Theory and Applications, 223–36. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-34171-2_16.
Повний текст джерелаMatz, Oliver. "Dot-Depth and Monadic Quantifier Alternation over Pictures — Extended Abstract." In Ausgezeichnete Informatikdissertationen 1999, 169–78. Wiesbaden: Vieweg+Teubner Verlag, 2000. http://dx.doi.org/10.1007/978-3-322-84823-9_16.
Повний текст джерелаPlace, Thomas, and Marc Zeitoun. "Going Higher in the First-Order Quantifier Alternation Hierarchy on Words." In Automata, Languages, and Programming, 342–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-43951-7_29.
Повний текст джерелаLy, Olivier. "The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite." In 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.
Повний текст джерелаYu, Emily, Armin Biere, and Keijo Heljanko. "Progress in Certifying Hardware Model Checking Results." In Computer Aided Verification, 363–86. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_17.
Повний текст джерелаТези доповідей конференцій з теми "Quantifier alternation"
Thérien, Denis, and Thomas Wilke. "Over words, two variables are as powerful as one quantifier alternation." In the thirtieth annual ACM symposium. New York, New York, USA: ACM Press, 1998. http://dx.doi.org/10.1145/276698.276749.
Повний текст джерелаSteedman, Mark. "Alternating quantifier scope in CCG." In 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.
Повний текст джерелаPlace, Thomas. "Separating Regular Languages with Two Quantifiers Alternations." In 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2015. http://dx.doi.org/10.1109/lics.2015.28.
Повний текст джерелаHu, Jie, and Yan Wang. "Sensitivity Analysis in Quantified Interval Constraint Satisfaction Problems." In 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.
Повний текст джерелаFoster, Garrett, and Scott Ferguson. "Assessing the Effectiveness of Using Graveyard Data for Generating Design Alternatives." In ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-48636.
Повний текст джерелаSarver, Joseph J., and Dawn M. Elliott. "An Alternative Method for Determining the Neutral Zone of Spinal Motion Segment Units." In ASME 2003 International Mechanical Engineering Congress and Exposition. ASMEDC, 2003. http://dx.doi.org/10.1115/imece2003-43058.
Повний текст джерелаLuan, Siyao, Deborah L. Thurston, Madhav Arora, and James T. Allison. "Developing and Comparing Alternative Design Optimization Formulations for a Vibration Absorber Example." In 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.
Повний текст джерелаVukadinovic, Vlade, Peter Habisreuther, and Nikolaos Zarzalis. "Experimental Study on Combustion Characteristics of Conventional and Alternative Liquid Fuels." In ASME Turbo Expo 2012: Turbine Technical Conference and Exposition. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/gt2012-69449.
Повний текст джерелаBarrozo, Marcos A. S., N. C. Silva, T. C. Silva, A. O. Santos, I. S. Graton, and C. R. Duarte. "Drying of microalga Spirulina platensis in a rotary dryer with inert bed." In 21st International Drying Symposium. Valencia: Universitat Politècnica València, 2018. http://dx.doi.org/10.4995/ids2018.2018.7457.
Повний текст джерелаXiong, Qingwen, Junli Gou, and Jianqiang Shan. "Investigation on Methods for Uncertainty Quantification of Constitutive Models and the Application in BEPU." In 2018 26th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2018. http://dx.doi.org/10.1115/icone26-81425.
Повний текст джерела