Jasmin - PDFSEARCH.IO - Document Search Engine

Jasmin
Results: 300

#	Item
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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source URL: people.mpi-inf.mpg.de - Date: 2015-01-25 16:18:54