Items where Author / Artist / Editor is "Panny, Lorenz"

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

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.

Blanchette, Jasmin Christian, Hölzl, Johannes, Lochbihler, Andreas, Panny, Lorenz, Popescu, Andrei and Traytel, Dmitriy (2014) Truly modular (co)datatypes for Isabelle/HOL. In: 5th International Conference on Interactive Theorem Proving (ITP), 14-17 Jul 2014, Vienna, Austria.

This list was generated on Thu Jun 20 04:40:37 2019 BST.