Superposition Extended with Sorts

Gaede, Bernd

Lokale TagsFreigabegeschichteDetailsÜbersicht

Superposition Extended with Sorts

Gaede, B. (1995). Superposition Extended with Sorts. Master Thesis, Universität Kaiserslautern, Saarbrücken.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD24-B Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACE3-F

Genre: Hochschulschrift

Dateien

einblenden: Dateien

ausblenden: Dateien

:

gaede.ps (beliebiger Volltext), 511KB

Datei-Permalink:
-

Name:
gaede.ps

Beschreibung:
-

OA-Status:

Sichtbarkeit:
Privat

MIME-Typ / Prüfsumme:
application/postscript

Technische Metadaten:

Copyright Datum:
-

Copyright Info:
-

Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:

ausblenden:

Urheber:
Gaede, Bernd¹, Autor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Inhalt

einblenden:

ausblenden:

Schlagwörter: -

Zusammenfassung: Sorted problem formulations often result in shorter proofs. In this thesis, the integration of ordered inference rules and rules for sort constraints in one calculus and the resulting system architecture for its implementation SPASS are presented. Thus, SPASS (Synergetic Prover Augmenting Superposition with Sorted logic) is a theorem-proving program for first-order logic with equality and sorts.

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Geändert: 2010-03-12Angenommen: 1995Erschienen: 1995

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Saarbrücken : Universität Kaiserslautern

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519609
Anderer: Local-ID: C1256104005ECAFC-CA9CC4268DC03C99C12562F9005177DE-Gaede95-Mastersthesis

Art des Abschluß: Master

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle