- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
XI, 168 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Freiburg (Breisgau), Univ., Diss., 2004 (Nicht für den Austausch)
- Klassifikation
-
Informatik
Mathematik
- Schlagwort
-
Presburger-Arithmetik
Endlicher Automat
Entscheidungsverfahren
Obere Schranke
Monadische Logik
Stufe 2
Endlicher Automat
Entscheidbarkeit
Automatentheorie ; Entscheidungsverfahren ; Beschränkte Arithmetik
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:58 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.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Automata-based decision procedures for weak arithmetics
Optimal sequentially planned decision procedures
Decision procedures for linear arithmetic
Decision procedures for loop detection
Hierarchic decision procedures for verification
Resolution based decision procedures for subclasses of first-order logic
Saturation-based decision procedures for extensions of the guarded fragment
Resolution-based decision procedures for subclasses of first-order logic
The Decision Problem for Effective Procedures
Executive summary : [deduction and decision procedures]
Group Duties Without Decision-Making Procedures
Simple decision procedures: an expository paper
Automata-based decision procedures for weak arithmetics
Optimal sequentially planned decision procedures
Decision procedures for linear arithmetic
Decision procedures for loop detection
Hierarchic decision procedures for verification
Resolution based decision procedures for subclasses of first-order logic
Saturation-based decision procedures for extensions of the guarded fragment
Resolution-based decision procedures for subclasses of first-order logic
The Decision Problem for Effective Procedures
Executive summary : [deduction and decision procedures]
Group Duties Without Decision-Making Procedures
Simple decision procedures: an expository paper
Automata-based decision procedures for weak arithmetics
Optimal sequentially planned decision procedures
Decision procedures for linear arithmetic
Decision procedures for loop detection
Hierarchic decision procedures for verification
Resolution based decision procedures for subclasses of first-order logic
Saturation-based decision procedures for extensions of the guarded fragment
Resolution-based decision procedures for subclasses of first-order logic
The Decision Problem for Effective Procedures
Executive summary : [deduction and decision procedures]
Group Duties Without Decision-Making Procedures