Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Deciding the Guarded Fragments by Resolution

de Nivelle, H., & de Rijke, M. (2003). Deciding the Guarded Fragments by Resolution. Journal of Symbolic Computation, 35, 21-58.

Item is

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
de Nivelle, Hans1, Autor           
de Rijke, Maarten, Autor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We give resolution based decision procedures for both the strictly guarded fragment and the loosely guarded fragment of first-order logic. We prove that the decision procedures are in 2EXPTIME, which is theoretically optimal.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2004-06-232003
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: Expertenbegutachtung
 Identifikatoren: eDoc: 201883
Anderer: Local-ID: C1256104005ECAFC-444F28344A221540C1256D0900423679-deNivelle2003a
 Art des Abschluß: -

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Journal of Symbolic Computation
Genre der Quelle: Zeitschrift
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 35 Artikelnummer: - Start- / Endseite: 21 - 58 Identifikator: ISSN: 0747-7171