Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  A Superposition Decision Procedure for the Guarded Fragment with Equality

Ganzinger, H., & de Nivelle, H. (1999). A Superposition Decision Procedure for the Guarded Fragment with Equality. In G. Longo (Ed.), Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99) (pp. 295-303). Los Alamitos, USA: IEEE.

Item is

Dateien

einblenden: Dateien
ausblenden: Dateien
:
99LICS_2_ps.gz (beliebiger Volltext), 56KB
 
Datei-Permalink:
-
Name:
99LICS_2_ps.gz
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/gzip
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-
:
99LICS_2.pdf (beliebiger Volltext), 128KB
 
Datei-Permalink:
-
Name:
99LICS_2.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

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

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: We give a decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. The relevance of the guarded fragment lies in the fact that many modal logics can be translated into it. In this way the guarded fragment acts as a framework explaining some of the nice properties of these modal logics. By constructing an implementable decision procedure for the guarded fragments we define an effective procedure for deciding these modal logics. It is surprising to see that one does not need any sophisticated simplification and redundancy elimination method to make superposition terminate on the class of clauses that is obtained from the clausification of guarded formulas. Yet the decision procedure obtained is optimal with regard to time complexity.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121999
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Los Alamitos, USA : IEEE
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519693
Anderer: Local-ID: C1256104005ECAFC-B613AAD4404037B3C1256744002BF554-GanzingerNivelle-99-lics
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Trento, Italy
Start-/Enddatum: 2003-07-08 - 2003-07-12

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99)
Genre der Quelle: Konferenzband
 Urheber:
Longo, Giuseppe, Herausgeber
Affiliations:
-
Ort, Verlag, Ausgabe: Los Alamitos, USA : IEEE
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 295 - 303 Identifikator: ISBN: 0-7695-0158-3