Integration of a Decision Procedure for Second-Order Monadic Logic in a 
Higher-Order Logic Theorem Proving Environment

Friedrich, Stefan

Lokale TagsFreigabegeschichteDetailsÜbersicht

Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment

Friedrich, S. (1998). Integration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment. 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-3849-3 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD01-5

Genre: Hochschulschrift

ausblenden:

Urheber:
Friedrich, Stefan¹, 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: 1998Erschienen: 1998

Publikationsstatus: Erschienen

Seiten: -

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

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519699
Anderer: Local-ID: C1256104005ECAFC-80E2C31FDE690B3DC12567450054B4F5-Friedrich-Diplom98

Art des Abschluß: Master

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden:

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle