Cam - PDFSEARCH.IO - Document Search Engine

Cam
Results: 13485

#	Item
11	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:18:47 Mathematical logic Logic Theoretical computer science Logic in computer science Proof assistants Type theory Quantification Philosophical logic Isabelle First-order logic Logic for Computable Functions Logical framework
12	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:29 Logic Mathematical logic Mathematics Predicate logic Classical logic Proof theory Constructivism Semantics Propositional calculus First-order logic Intuitionistic logic Well-formed formula
13	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:07 Mathematical logic Logic Mathematics Automated theorem proving Proof theory Logic in computer science Proof assistants Type theory Isabelle Mathematical proof Automated reasoning Proof
14	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk 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: www.cl.cam.ac.uk 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	What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:14
17	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: www.cl.cam.ac.uk 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
18	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: www.cl.cam.ac.uk 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
19	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:20 Software Theoretical computer science Formal methods Logic in computer science Automated theorem proving Constraint programming Isabelle SPASS Satisfiability modulo theories Frama-C Alt-Ergo Vampire
20	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set