Isabelle - PDFSEARCH.IO - Document Search Engine

Isabelle
Results: 1487

#	Item
11	LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:19:25 Computer programming Software engineering Computing Fold Recursion LaTeX
12	SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:34 Mathematical logic Computability theory Type theory Theoretical computer science Metalogic Model theory Lambda calculus Constructible universe Mathematics
13	Isabelle/HOL Integrated Theorem Proving Tjark Weber Cooperation of Deduction Tools Day Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-04-11 08:01:06 Mathematical logic Theoretical computer science Proof assistants Mathematics Logic in computer science Formal methods Type theory Automated theorem proving Isabelle Lambda calculus Higher-order logic HOL
14	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:18:35 Algebra Abstract algebra Mathematics Semigroup theory Algebraic structures Monoid Semigroup Inverse element Constructible universe Ordinal number Variety of finite semigroups Special classes of semigroups
15	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:19:16 Logic Mathematical logic Mathematics Predicate logic Quantification Model theory Free variables and bound variables Mathematical notation Skolem normal form Universal quantification Counterexample Expected value
16	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:18:43 Mathematical proof Isabelle
17	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:23 Type theory Theoretical computer science Proof assistants Mathematical logic Programming language theory Formal methods Lambda calculus Logic in computer science Isabelle HOL HindleyMilner type system Automated theorem proving
18	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 15 August 2018 Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:21 Computer programming Software engineering Computing Recursion Type theory Data types Theoretical computer science Functional programming Recursive data type Inductive data type Corecursion Mutual recursion
19	Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:22 Computer programming Declarative programming Software engineering Theoretical computer science Category theory Functional programming Recursion Type theory Corecursion Coinduction Fold SCons
20	Integrating zChaff with Isabelle/HOL A Fast Decision Procedure for Propositional Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:04 Proof assistants Logic in computer science Theoretical computer science HOL Logic programming Isabelle Constructible universe

UPDATE