„existential second-order logic“

Suchergebnisse

17 Treffer

• Fragments of existential second-order logic and logics with team semantics
  Hoelzel, Matthias ; Grädel, Erich ; Hella, Lauri 2019 Universitätsbibliothek der RWTH Aachen
• On Existential MSO and its Relation to ETH
  Ganian, Robert ; de Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hierarchies in independence logic
  Galliani, Pietro ; Hannula, Miika ; Kontinen, Juha 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Existential Theory of the Reals with Summation Operators
  Bläser, Markus ; Dörfler, Julian ; Liśkiewicz, Maciej ; van der Zander, Benito 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Existential Second-Order Logic over Graphs: Parameterized Complexity
  Bannach, Max ; Chudigiewitsch, Florian ; Tantau, Till 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
  Feller, Thomas ; Lyon, Timothy ; Ostropolski-Nalewaja, Piotr ; Rudolph, Sebastian 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
  Hoelzel, Matthias ; Wilke, Richard 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Existential Second-order Logic over Graphs: A Complete Complexity-theoretic Classification
  Tantau, Till 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Commutative Data Automata
  Wu, Zhilin 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Conjunctive Grammars, Cellular Automata and Logic
  Grente, Théo ; Grandjean, Étienne 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
  Hannula, Miika ; Virtema, Jonni 2022 Gottfried Wilhelm Leibniz Universität Hannover
• On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
  Hoelzel, Matthias ; Wilke, Richard 2021 Universitätsbibliothek der RWTH Aachen
• Existential second-order logic over strings
  Eiter, Thomas ; Gottlob, Georg ; Gurevich, Yuri 1997 IFIG
• Existential second-order logic over strings
  Eiter, Thomas ; Gottlob, Georg ; Gurevich, Yuri 1998 Universitätsbibliothek
• Second-order logic: properties, semantics, and existential commitments
  Hale, Bob
• Logical laws for existential monadic second-order sentences with infinite first-order parts
  Zhukovskii, M. E. ; Sánchez, M. G.
• Approximation and existential second-order logic
  Ihler, Edmund 1990 Inst. für Informatik