„generalized quantifiers“

Suchergebnisse

1.000+ Treffer

• Capturing Relativized Complexity Classes without Order
  Dawar, Anuj ; Gottlob, Georg ; Hella, Lauri
• Decidability and Generalized Quantifiers
  Baudisch, A. ; Seese, D. ; Tuschik, H.-P. ; Weese, M. 1980 De Gruyter
• Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers
  Groenendijk, J. A. G. 1986 De Gruyter
• Characterizing NC¹ with Typed Monoids
  Dawar, Anuj ; Evans, Aidan T. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Generalized quantifiers and computation – revised lectures
  Väänänen, Jouko 2000 Springer
• Decidability and Generalized Quantifiers
  Baudisch, A. ; Seese, D. ; Tuschik, H.-P. ; Weese, M. 1980 De Gruyter
• Logic and Games on Automatic Structures – Playing with Quantifiers and Decompositions
  Kaiser, Łukasz 2011 Springer Berlin Heidelberg
• Generalized Quantifiers in Natural Language
  Meulen, Alice ˜terœ ; Benthem, Johan ˜vanœ 1985 De Gruyter
• Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers
  Groenendijk, J. A. G. ; Jongh, Dick de ; Stokhof, M. J. B. 2021 De Gruyter
• First-Order Logic with Equicardinality in Random Graphs
  Haber, Simi ; Hershko, Tal ; Mirabi, Mostafa ; Shelah, Saharon 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decidability and generalized quantifiers
  Baudisch, Andreas 1980 Akademie-Verlag
• Quantifiers Closed Under Partial Polymorphisms
  Dawar, Anuj ; Hella, Lauri 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Expressive Power of CSP-Quantifiers
  Hella, Lauri 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Model-Theoretic Expressiveness of Propositional Proof Systems
  Grädel, Erich ; Pago, Benedikt ; Pakusa, Wied 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stable Models of Formulas with Generalized Quantifiers (Preliminary Report)
  Lee, Joohyung ; Meng, Yunsong 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quantifiers in Action – Generalized Quantification in Query, Logical and Natural Languages
  Badia, Antonio 2009 Springer US
• Generalized Quantifiers – Linguistic and Logical Approaches
  Gärdenfors, Peter 1987 Springer Netherlands
• Referential transparency as the proper treatment for quantification
  Lücking, Andy ; Ginzburg, Jonathan 2022 Universitätsbibliothek Johann Christian Senckenberg
• Recursive logic frames
  Shelah, Saharon ; Väänänen, Jouko
• Fixed point logics and generalized quantifiers in descriptive complexity
  Imhof, Henrik