Items where Author / Artist / Editor is "Kunčar, Ondřej"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Conference or Workshop Item

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é and Traytel, Dmitriy (2017) Foundational (co)datatypes and (co)recursion for higher-order logic. In: 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, 27-29 September 2017, Brasilia, Brazil. (doi:10.1007/978-3-319-66167-4_1)

Kunčar, Ondřej and Popescu, Andrei (2017) Comprehending Isabelle/HOL's consistency. In: ESOP 2017: 26th European Symposium on Programming (ESOP), 22-29 Apr 2017, Uppsala, Sweden. (doi:10.1007/978-3-662-54434-1_27)

Kunčar, Ondřej and Popescu, Andrei (2016) From types to sets by local type definitions in higher-order logic. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France. (doi:10.1007/978-3-319-43144-4_13)

Kunčar, Ondřej and Popescu, Andrei (2015) A consistent foundation for Isabelle/HOL. In: 6th conference on Interactive Theorem Proving (ITP), 24-27 Aug 2015, Nanjing, China. (doi:10.1007/978-3-319-22102-1_16)

This list was generated on Mon Oct 14 04:57:24 2019 BST.