21![Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 12 December 2016 Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 12 December 2016](https://www.pdfsearch.io/img/867648f7de126d6e6ea9aff77f77d627.jpg) | Add to Reading ListSource URL: isabelle.in.tum.de- Date: 2016-12-12 09:14:24
|
---|
22![More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1 More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1](https://www.pdfsearch.io/img/4c76139419f644797342b416616c3bdb.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.de- Date: 2014-02-13 07:47:22
|
---|
23![A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France](https://www.pdfsearch.io/img/6eb8b6cb2cc0ffa6b62e85fa3fe3fa86.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.de- Date: 2016-12-19 05:45:29
|
---|
24![An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract) Alexander Bentkamp1 , Jasmin Christian Blanchette23 , and Dietrich Klakow4 1 An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract) Alexander Bentkamp1 , Jasmin Christian Blanchette23 , and Dietrich Klakow4 1](https://www.pdfsearch.io/img/86af2c5da1cfc693451a85507a76846f.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.de- Date: 2016-11-29 05:17:21
|
---|
25![A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France](https://www.pdfsearch.io/img/be1e222a2ed99cd9ac4e281472766c25.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.de- Date: 2016-12-19 05:45:29
|
---|
26![More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1 More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1](https://www.pdfsearch.io/img/47acfd384181784caf63ed4d2a75f741.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.de- Date: 2015-05-21 05:57:46
|
---|
27![Status of biomass with carbon capture and storage (BECCS/Bio-CCS) Jasmin Kemper IEA Greenhouse Gas R&D Programme Cheltenham, UK Status of biomass with carbon capture and storage (BECCS/Bio-CCS) Jasmin Kemper IEA Greenhouse Gas R&D Programme Cheltenham, UK](https://www.pdfsearch.io/img/db197a87fe299cbc12d0d9e95cb3620f.jpg) | Add to Reading ListSource URL: ieaghg.org- Date: 2016-06-29 07:14:26
|
---|
28![Experience Report: The Next 1100 Haskell Programmers Jasmin Christian Blanchette Lars Hupel Tobias Nipkow Experience Report: The Next 1100 Haskell Programmers Jasmin Christian Blanchette Lars Hupel Tobias Nipkow](https://www.pdfsearch.io/img/52f50b0840a996794940ea0314833406.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.de- Date: 2015-01-25 16:18:54
|
---|
29![A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc](https://www.pdfsearch.io/img/5cda4af9ff91b80b65dbd95f545c133a.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.de- Date: 2015-11-16 07:29:42
|
---|
30![Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o](https://www.pdfsearch.io/img/47b06e2e4f96957b854892146c3ebcc1.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.de- Date: 2015-01-25 16:18:54
|
---|