Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic

Biendarra, Julian; Blanchette, Jasmin Christian; Bouzy, Aymeric; Desharnais, Martin; Fleury, Mathias; Hölzl, Johannes; Kunčar, Ondřej; Lochbihler, Andreas; Meier, Fabian; Panny, Lorenz; Popescu, Andrei; Sternagel, Christian; Thiemann, René; Traytel, Dmitriy

doi:10.1007/978-3-319-66167-4_1

Lokale TagsFreigabegeschichteDetailsÜbersicht

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic

Biendarra, J., Blanchette, J. C., Bouzy, A., Desharnais, M., Fleury, M., Hölzl, J., et al. (2017). Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. In C. Dixon, & M. Finger (Eds.), Frontiers of Combining Systems (pp. 3-21). Berlin: Springer. doi:10.1007/978-3-319-66167-4_1.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002E-070E-4 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002E-070F-2

Genre: Konferenzbeitrag

ausblenden:

Urheber:
Biendarra, Julian¹, Autor
Blanchette, Jasmin Christian², Autor
Bouzy, Aymeric¹, Autor
Desharnais, Martin¹, Autor
Fleury, Mathias², Autor
Hölzl, Johannes¹, Autor
Kunčar, Ondřej¹, Autor
Lochbihler, Andreas¹, Autor
Meier, Fabian¹, Autor
Panny, Lorenz¹, Autor
Popescu, Andrei¹, Autor
Sternagel, Christian¹, Autor
Thiemann, René¹, Autor
Traytel, Dmitriy¹, Autor

Affiliations:
1External Organizations, ou_persistent22
2Automation 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: BiendarraFroCoS2017
DOI: 10.1007/978-3-319-66167-4_1

Art des Abschluß: -

Veranstaltung

einblenden:

ausblenden:

Titel: 11th International Symposium on Frontiers of Combining Systems

Veranstaltungsort: Brasília, Brazil

Start-/Enddatum: 2017-09-27 - 2017-09-29

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:

ausblenden:

Titel: Frontiers of Combining Systems

Kurztitel : FroCoS 2017

Untertitel : 11th International Symposium, FroCoS 2017 ; Brasília, Brazil, September 27-29, 2017 ; Proceedings

Genre der Quelle: Konferenzband

Urheber:
Dixon, Clare¹, Herausgeber
Finger, Marcelo¹, Herausgeber

Affiliations:
1 External Organizations, ou_persistent22

Ort, Verlag, Ausgabe: Berlin : Springer

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 3 - 21 Identifikator: ISBN: 978-3-319-66166-7

Quelle 2

einblenden:

ausblenden:

Titel: Lecture Notes in Artificial Intelligence

Kurztitel : LNAI

Genre der Quelle: Reihe

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: -

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

Datensatz

Basisdaten

Dateien

Externe Referenzen

Urheber

Inhalt

Details

Veranstaltung

Entscheidung

Projektinformation

Quelle 1

Quelle 2