Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Aymeric Bouzy"'
Autor:
Fabian Meier, Andrei Popescu, Mathias Fleury, René Thiemann, Christian Sternagel, Aymeric Bouzy, Julian Biendarra, Johannes Hölzl, Dmitriy Traytel, Jasmin Christian Blanchette, Lorenz Panny, Andreas Lochbihler, Ondřej Kunčar, Martin Desharnais
Publikováno v:
Frontiers of Combining Systems, 11th International Symposium
Frontiers of Combining Systems, 11th International Symposium, Sep 2017, Brasilia, Brazil. pp.3-21, ⟨10.1007/978-3-319-66167-4_1⟩
Frontiers of Combining Systems-11th International Symposium, FroCoS 2017, Proceedings, 3-21
STARTPAGE=3;ENDPAGE=21;TITLE=Frontiers of Combining Systems-11th International Symposium, FroCoS 2017, Proceedings
Biendarra, J, Blanchette, J C, Bouzy, A, Desharnais, M, Fleury, M, Hölzl, J, Kunčar, O, Lochbihler, A, Meier, F, Panny, L, Popescu, A, Sternagel, C, Thiemann, R & Traytel, D 2017, Foundational (co)datatypes and (co)recursion for higher-order logic . in C Dixon & M Finger (eds), Frontiers of Combining Systems-11th International Symposium, FroCoS 2017, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10483 LNAI, Springer/Verlag, pp. 3-21, 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, Brasilia, Brazil, 27/09/17 . https://doi.org/10.1007/978-3-319-66167-4_1
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Frontiers of Combining Systems
11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)
Frontiers of Combining Systems ISBN: 9783319661667
FroCoS
Frontiers of Combining Systems
Frontiers of Combining Systems, 11th International Symposium, Sep 2017, Brasilia, Brazil. pp.3-21, ⟨10.1007/978-3-319-66167-4_1⟩
Frontiers of Combining Systems-11th International Symposium, FroCoS 2017, Proceedings, 3-21
STARTPAGE=3;ENDPAGE=21;TITLE=Frontiers of Combining Systems-11th International Symposium, FroCoS 2017, Proceedings
Biendarra, J, Blanchette, J C, Bouzy, A, Desharnais, M, Fleury, M, Hölzl, J, Kunčar, O, Lochbihler, A, Meier, F, Panny, L, Popescu, A, Sternagel, C, Thiemann, R & Traytel, D 2017, Foundational (co)datatypes and (co)recursion for higher-order logic . in C Dixon & M Finger (eds), Frontiers of Combining Systems-11th International Symposium, FroCoS 2017, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10483 LNAI, Springer/Verlag, pp. 3-21, 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, Brasilia, Brazil, 27/09/17 . https://doi.org/10.1007/978-3-319-66167-4_1
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Frontiers of Combining Systems
11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)
Frontiers of Combining Systems ISBN: 9783319661667
FroCoS
Frontiers of Combining Systems
International audience; We describe a line of work that started in 2011 towards enriching Isabelle/HOL's language with coinductive datatypes, which allow infinite values, and with a more expressive notion of inductive datatype than previously support
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be47e57f3a4668a0d42d7a1834212db4
https://doi.org/10.5281/zenodo.3228084
https://doi.org/10.5281/zenodo.3228084
