- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Humboldt-Universität zu Berlin, Dissertation, 2018
- Schlagwort
-
Logic
Order
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Humboldt-Universität zu Berlin
- (wann)
-
2018
- Urheber
- Beteiligte Personen und Organisationen
-
Schweikardt, Nicole
Kreutzer, Stephan
Segoufin, Luc
- DOI
-
10.18452/19609
- URN
-
urn:nbn:de:kobv:11-110-18452/20379-2
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 MEZ
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
- Harwath, Frederik
- Schweikardt, Nicole
- Kreutzer, Stephan
- Segoufin, Luc
- Humboldt-Universität zu Berlin
Entstanden
- 2018
Ähnliche Objekte (12)
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
On the expressive power of first-order logic with built in predicates
First-order logic
First-order logic
First-order dynamic logic
Regular tree languages, cardinality predicates, and addition-invariant FO
A First-Order Logic with Frames
Successor-Invariant First-Order Logic on Classes of Bounded Degree: Q/A Session D - Paper D5.C
Decidability of the First-Order Theory of (IN;<,P) for Morphic Predicates P
Fragments of first-order logic over infinite words
The succinctness of first-order logic on linear orders
Learning Concepts Definable in First-Order Logic with Counting
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
On the expressive power of first-order logic with built in predicates
First-order logic
First-order logic
First-order dynamic logic
Regular tree languages, cardinality predicates, and addition-invariant FO
A First-Order Logic with Frames
Successor-Invariant First-Order Logic on Classes of Bounded Degree: Q/A Session D - Paper D5.C
Decidability of the First-Order Theory of (IN;<,P) for Morphic Predicates P
Fragments of first-order logic over infinite words
The succinctness of first-order logic on linear orders
Learning Concepts Definable in First-Order Logic with Counting
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
On the expressive power of first-order logic with built in predicates
First-order logic
First-order logic
First-order dynamic logic
Regular tree languages, cardinality predicates, and addition-invariant FO
A First-Order Logic with Frames
Successor-Invariant First-Order Logic on Classes of Bounded Degree: Q/A Session D - Paper D5.C
Decidability of the First-Order Theory of (IN;<,P) for Morphic Predicates P
Fragments of first-order logic over infinite words
The succinctness of first-order logic on linear orders