A Calculus of Simplification for Superposition

Christen, Michael

Lokale TagsFreigabegeschichteDetailsÜbersicht

A Calculus of Simplification for Superposition

Christen, M. (1997). A Calculus of Simplification for Superposition. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-39C5-3 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-ACFE-6

Genre: Hochschulschrift

Dateien

einblenden: Dateien

ausblenden: Dateien

:

MChristen_MT.ps (beliebiger Volltext), 416KB

Datei-Permalink:
-

Name:
MChristen_MT.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:
Christen, Michael¹, Autor

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

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

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

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519562
Anderer: Local-ID: C1256104005ECAFC-8DB9717BA22CB258C125659A0046C861-Christen97

Art des Abschluß: Master

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle