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

Local TagsRelease HistoryDetailsSummary

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 Released

show all hide all

Basic

show hide

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

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

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

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2017Date issued: 2017

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: BiendarraFroCoS2017
DOI: 10.1007/978-3-319-66167-4_1

Degree: -

Event

show

hide

Title: 11th International Symposium on Frontiers of Combining Systems

Place of Event: Brasília, Brazil

Start-/End Date: 2017-09-27 - 2017-09-29

Legal Case

show

Project information

show

Source 1

show

hide

Title: Frontiers of Combining Systems

Abbreviation : FroCoS 2017

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

Source Genre: Proceedings

Creator(s):
Dixon, Clare¹, Editor
Finger, Marcelo¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 3 - 21 Identifier: ISBN: 978-3-319-66166-7

Source 2

show

hide

Title: Lecture Notes in Artificial Intelligence

Abbreviation : LNAI

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 10483 Sequence Number: - Start / End Page: - Identifier: -