Hochschulschrift | Online-Publikation
Resolution-based decision procedures for subclasses of first-order logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 1999
- Klassifikation
-
Informatik
- Schlagwort
-
Terminologische Logik
Modallogik
Prädikatenlogik
Stufe 1
Entscheidungsverfahren
Resolution
Modallogik
Automatisches Beweisverfahren
Terminologische Logik ; Modallogik ; Prädikatenlogik ; Stufe 1 ; Entscheidungsverfahren ; Resolution
- Urheber
-
Hustadt, Ullrich
- URN
-
urn:nbn:de:bsz:291-scidok-1907
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 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
- Online-Publikation
Beteiligte
- Hustadt, Ullrich
Ähnliche Objekte (12)
Resolution based decision procedures for subclasses of first-order logic
First-order logic
First-order logic
First-order dynamic logic
A First-Order Logic with Frames
Efficient reasoning procedures for complex first-order theories
Fragments of first-order logic over infinite words
First-order calculi and proof procedures for automated deduction
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic
Computational aspects of a first-order logic with sorts
Disjunction and Existence Properties in Inquisitive First-Order Logic
Resolution based decision procedures for subclasses of first-order logic
First-order logic
First-order logic
First-order dynamic logic
A First-Order Logic with Frames
Efficient reasoning procedures for complex first-order theories
Fragments of first-order logic over infinite words
First-order calculi and proof procedures for automated deduction
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic
Computational aspects of a first-order logic with sorts
Disjunction and Existence Properties in Inquisitive First-Order Logic
Resolution based decision procedures for subclasses of first-order logic
First-order logic
First-order logic
First-order dynamic logic
A First-Order Logic with Frames
Efficient reasoning procedures for complex first-order theories
Fragments of first-order logic over infinite words
First-order calculi and proof procedures for automated deduction
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
HYPER-REF: A General Model of Reference for First-Order Logic and First-Order Arithmetic
Computational aspects of a first-order logic with sorts