- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
XI, 168 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Freiburg (Breisgau), Univ., Diss., 2004 (Nicht für den Austausch)
- Classification
-
Informatik
Mathematik
- Keyword
-
Presburger-Arithmetik
Endlicher Automat
Entscheidungsverfahren
Obere Schranke
Monadische Logik
Stufe 2
Endlicher Automat
Entscheidbarkeit
Automatentheorie ; Entscheidungsverfahren ; Beschränkte Arithmetik
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:58 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (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]
Simple decision procedures: an expository paper
Group Duties Without Decision-Making Procedures
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]
Simple decision procedures: an expository paper
Group Duties Without Decision-Making Procedures
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]
Simple decision procedures: an expository paper