Items where Author / Artist / Editor is "Blanchette, Jasmin Christian"

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

Article

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1). pp. 149-179. ISSN 0168-7433 (doi:10.1007/s10817-016-9391-3)

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1). pp. 149-179. ISSN 0168-7433 (doi:10.1007/s10817-016-9391-3)

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)

Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei and Traytel, Dmitriy (2017) Foundational nonuniform (co)datatypes for higher-order logic. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 Jun 2017, Reykjavik, Iceland. (doi:10.1109/LICS.2017.8005071)

Blanchette, Jasmin Christian, Bouzy, Aymeric, Lochbihler, Andreas, Popescu, Andrei and Traytel, Dmitriy (2017) Friends with benefits: implementing corecursion in foundational proof assistants. In: 26th European Symposium on Programming, ESOP 2017, 22-29 Apr 2017, Uppsala, Sweden. (doi:10.1007/978-3-662-54434-1_5)

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2015) Witnessing (co)datatypes. In: 24th European Symposium on Programming (ESOP 2015), 11-18 Apr 2015, London, UK.

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.

Blanchette, Jasmin Christian, Popescu, Andrei and Taytel, Dmitriy (2014) Cardinals in Isabelle/HOL. In: 5th International Conference on Interactive Theorem Proving, 14-17 Jul 2014, Vienna, Austria.

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2014) Unified classical logic completeness: a coinductive pearl. In: 7th International Joint Conference on Automated Reasoning (IJCAR), 19-22 Jul 2014, Vienna, Austria.

Blanchette, Jasmin Christian, Böhme, Sascha, Popescu, Andrei and Smallbone, Nicholas (2013) Encoding monomorphic and polymorphic types. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 16-24 Mar 2013, Rome.

Blanchette, Jasmin Christian and Popescu, Andrei (2013) Mechanizing the metatheory of sledgehammer. In: 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), 18-20 Sept 2013, Nancy, France.

Blanchette, Jasmin Christian, Popescu, Andrei, Wand, Daniel and Weidenbach, Cristoph (2012) More SPASS with Isabelle: superposition with hard sorts and configurable simplification. In: Interactive Theorem Proving (ITP), Third International Conference, 13-15 Aug 2012, Princeton, New Jersey, US.

This list was generated on Tue Oct 15 05:13:31 2019 BST.