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