A Lambda-Free Higher-Order Recursive Path Order

Blanchette, Jasmin Christian; Waldmann, Uwe; Wand, Daniel

doi:10.1007/978-3-662-54458-7_27

Lokale TagsFreigabegeschichteDetailsÜbersicht

A Lambda-Free Higher-Order Recursive Path Order

Blanchette, J. C., Waldmann, U., & Wand, D. (2017). A Lambda-Free Higher-Order Recursive Path Order. In J. Esparza, & A. S. Murawski (Eds.), Foundations of Software Science and Computation Structures (pp. 461-479). Berlin: Springer. doi:10.1007/978-3-662-54458-7_27.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-91BA-2 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-3439-8

Genre: Konferenzbeitrag

ausblenden:

Urheber:
Blanchette, Jasmin Christian¹, Autor
Waldmann, Uwe¹, Autor
Wand, Daniel¹, Autor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Inhalt

einblenden:

Details

einblenden:

ausblenden:

Sprache(n): eng - English

Datum: Online veröffentlicht: 2017Erschienen: 2017

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: BlanchetteFoSSaCS2017
DOI: 10.1007/978-3-662-54458-7_27

Art des Abschluß: -

Veranstaltung

einblenden:

ausblenden:

Titel: 20th International Conference on Foundations of Software Science and Computation Structures

Veranstaltungsort: Uppsala, Sweden

Start-/Enddatum: 2017-04-24 - 2017-04-27

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:

ausblenden:

Titel: Foundations of Software Science and Computation Structures

Kurztitel : FoSSaCS 2017

Untertitel : 20th International Conference, FOSSACS 2017 ; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 ; Uppsala, Sweden, April 22-29, 2017 ; Proceedings

Genre der Quelle: Konferenzband

Urheber:
Esparza, Javier¹, Herausgeber
Murawski, Andrzej S.¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Berlin : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 461 - 479 Identifikator: ISBN: 978-3-662-54457-0

Quelle 2

einblenden:

ausblenden:

Titel: Lecture Notes in Computer Science

Kurztitel : LNCS

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

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

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle 1

Quelle 2