Hochschulschrift
Saturation-based decision procedures for fixed domain and minimal model validity
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 2010
- Classification
-
Informatik
- Keyword
-
Superpositionskalkül ; Entscheidungsverfahren ; Prädikatenlogik
- Creator
-
Horbach, Matthias
- URN
-
urn:nbn:de:bsz:291-scidok-32826
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:37 AM 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
- Horbach, Matthias
Other Objects (12)
Validation and validity of verbal autopsy procedures
Saturation-based decision procedures for extensions of the guarded fragment
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Validity of diagnoses and procedures in Japanese dental claims data
Maximal and minimal point theorems and Caristi's fixed point theorem
A CONVERGENCE THEOREM FOR SOME MEAN VALUE FIXED POINT ITERATION PROCEDURES
Instruments for image guided procedures - IIGP : review summaries for minimal invasive and image guided technologies and clinical procedures
De la saturation
D. Die Saturation.
De la saturation
Saturation à froid
De la saturation
Validation and validity of verbal autopsy procedures
Saturation-based decision procedures for extensions of the guarded fragment
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Validity of diagnoses and procedures in Japanese dental claims data
Maximal and minimal point theorems and Caristi's fixed point theorem
A CONVERGENCE THEOREM FOR SOME MEAN VALUE FIXED POINT ITERATION PROCEDURES
Instruments for image guided procedures - IIGP : review summaries for minimal invasive and image guided technologies and clinical procedures
De la saturation
D. Die Saturation.
De la saturation
Saturation à froid
De la saturation
Validation and validity of verbal autopsy procedures
Saturation-based decision procedures for extensions of the guarded fragment
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Validity of diagnoses and procedures in Japanese dental claims data
Maximal and minimal point theorems and Caristi's fixed point theorem
A CONVERGENCE THEOREM FOR SOME MEAN VALUE FIXED POINT ITERATION PROCEDURES
Instruments for image guided procedures - IIGP : review summaries for minimal invasive and image guided technologies and clinical procedures
De la saturation
D. Die Saturation.
De la saturation
Saturation à froid