Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Lokale TagsFreigabegeschichteDetailsÜbersicht

Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving

Stuber, J. (1997). Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving. In M. P. Bonacina, & U. Furbach (Eds.), Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97) (pp. 125-129). Linz, Austria: Johannes Kepler Universität.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3A18-1 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3A19-0

Genre: Konferenzbeitrag

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Stuber, Jürgen¹, Autor

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

Inhalt

Details

ausblenden:

Sprache(n): eng - English

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

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: Linz, Austria : Johannes Kepler Universität

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519461
Anderer: Local-ID: C1256104005ECAFC-0A644D0DD13ED6ADC125659300527CE5-StuberFTP97

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Schloss Hagenberg by Linz, Austria

Start-/Enddatum: 1997

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97)

Genre der Quelle: Konferenzband

Urheber:
Bonacina, Maria Paola, Herausgeber
Furbach, Ulrich, Herausgeber

Affiliations:
-

Ort, Verlag, Ausgabe: Linz, Austria : Johannes Kepler Universität

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 125 - 129 Identifikator: -

Quelle 2

ausblenden:

Titel: RISC-Linz Report

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -