Proof Representations for Higher-Order Logic

Rizkallah, Christine

Lokale TagsFreigabegeschichteDetailsÜbersicht

Proof Representations for Higher-Order Logic

Rizkallah, C. (2009). Proof Representations for Higher-Order Logic. 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-0027-BA90-4 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-BA91-2

Genre: Hochschulschrift

Dateien

einblenden: Dateien

ausblenden: Dateien

:

Master'sThesis_ChristineRizkallah_2009.pdf (beliebiger Volltext), 494KB

Datei-Permalink:
-

Name:
Master'sThesis_ChristineRizkallah_2009.pdf

Beschreibung:
-

OA-Status:

Sichtbarkeit:
Eingeschränkt (Max Planck Institute for Informatics, MSIN; )

MIME-Typ / Prüfsumme:
application/pdf

Technische Metadaten:

Copyright Datum:
-

Copyright Info:
-

Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:

ausblenden:

Urheber:
Rizkallah, Christine^{1, 2}, Autor
Brown, Chad³, Ratgeber
Smolka, Gert³, Gutachter

Affiliations:
1Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019
2International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551
3External Organizations, ou_persistent22

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Angenommen: 2009-12Erschienen: 2009

Publikationsstatus: Erschienen

Seiten: -

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

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: Rizkallah2009

Art des Abschluß: Master

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle