Datensatz

DATENSATZ AKTIONENEXPORT

DownloadE-Mail

Lokale TagsFreigabegeschichteDetailsÜbersicht

Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems

Stuber, J. (2000). Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems. In L. Bachmair (Ed.), Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00) (pp. 229-245). Berlin, Germany: Springer.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3421-A Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3423-6

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: 2000

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: eDoc: 519814
Anderer: Local-ID: C1256104005ECAFC-338341EB9926A42BC1256A9B002D595E-Stuber2000RTA

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: Untitled Event

Veranstaltungsort: Norwich, UK

Start-/Enddatum: 2000

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00)

Genre der Quelle: Konferenzband

Urheber:
Bachmair, Leo¹, Herausgeber

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

Ort, Verlag, Ausgabe: Berlin, Germany : Springer

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

Quelle 2

ausblenden:

Titel: Lecture Notes in Computer Science

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

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