- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2009,4
- Klassifikation
-
Informatik
- Schlagwort
-
Mathematische Logik ; Halbgruppe ; Automatentheorie ; Reguläre Sprache
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2009
- Urheber
- URN
-
urn:nbn:de:bsz:93-opus-44187
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 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
- Diekert, Volker
- Kufleitner, Manfred
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2009
Ähnliche Objekte (12)
First-order fragments with successor over infinite words
First-order logic
First-order logic
First-order dynamic logic
A First-Order Logic with Frames
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
Complexity of counting first-order logic for the subword order
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Alternating complexity of counting first-order logic for the subword order
On the Translation of Higher-Order Problems into First-Order Logic
Learning Concepts Definable in First-Order Logic with Counting
Computational aspects of a first-order logic with sorts
First-order fragments with successor over infinite words
First-order logic
First-order logic
First-order dynamic logic
A First-Order Logic with Frames
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
Complexity of counting first-order logic for the subword order
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Alternating complexity of counting first-order logic for the subword order
On the Translation of Higher-Order Problems into First-Order Logic
Learning Concepts Definable in First-Order Logic with Counting
Computational aspects of a first-order logic with sorts
First-order fragments with successor over infinite words
First-order logic
First-order logic
First-order dynamic logic
A First-Order Logic with Frames
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
Complexity of counting first-order logic for the subword order
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Alternating complexity of counting first-order logic for the subword order
On the Translation of Higher-Order Problems into First-Order Logic
Learning Concepts Definable in First-Order Logic with Counting