- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Hannover, Gottfried Wilhelm Leibniz Universität, Dissertation, 2024
- Schlagwort
-
Prädikatenlogik
Berechnungskomplexität
Mathematische Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität
- (wann)
-
2024
- Urheber
-
Müller, Fabian
- DOI
-
10.15488/16831
- URN
-
urn:nbn:de:101:1-2024041102125217484944
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Müller, Fabian
- Gottfried Wilhelm Leibniz Universität
Entstanden
- 2024
Ähnliche Objekte (12)
Complexity of counting first-order logic for the subword order
Learning Concepts Definable in First-Order Logic with Counting
Alternating complexity of counting first-order logic for the subword order
Alternating complexity of counting first-order logic for the subword order
Gaifman normal forms for counting extensions of first-order logic
First-order logic
First-order logic
Counting logics and games with counters
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Two new perspectives on algorithmic meta-theorems : evaluating approximate first-order counting queries on bounded expansion and first-order queries on random graphs
First-order dynamic logic
Fragments of existential second-order logic and logics with team semantics
Complexity of counting first-order logic for the subword order
Learning Concepts Definable in First-Order Logic with Counting
Alternating complexity of counting first-order logic for the subword order
Alternating complexity of counting first-order logic for the subword order
Gaifman normal forms for counting extensions of first-order logic
First-order logic
First-order logic
Counting logics and games with counters
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Two new perspectives on algorithmic meta-theorems : evaluating approximate first-order counting queries on bounded expansion and first-order queries on random graphs
First-order dynamic logic
Fragments of existential second-order logic and logics with team semantics
Complexity of counting first-order logic for the subword order
Learning Concepts Definable in First-Order Logic with Counting
Alternating complexity of counting first-order logic for the subword order
Alternating complexity of counting first-order logic for the subword order
Gaifman normal forms for counting extensions of first-order logic
First-order logic
First-order logic
Counting logics and games with counters
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Two new perspectives on algorithmic meta-theorems : evaluating approximate first-order counting queries on bounded expansion and first-order queries on random graphs
First-order dynamic logic