Mirror - PDFSEARCH.IO - Document Search Engine

Mirror
Results: 11206

#	Item
1	PDF Document Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:03 Software Proof assistants Computing Logic in computer science JEdit Isabelle Standard ML Plug-in Selection Logic for Computable Functions HOL Isabel
2	PDF Document Add to Reading List Source URL: mirror.clarkson.edu 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
3	PDF Document Add to Reading List Source URL: mirror.clarkson.edu 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
4	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: mirror.clarkson.edu 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
5	PDF Document Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:12 Mathematical logic Logic Proof theory Mathematics Proof assistants Logic in computer science Type theory Substructural logic Sequent First-order logic Isabelle Higher-order logic
6	PDF Document Add to Reading List Source URL: mirror.clarkson.edu 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
7	PDF Document Add to Reading List Source URL: mirror.clarkson.edu 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
8	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–692) MIRROR SYMMETRY AND CLUSTER ALGEBRAS Paul Hacking and Sean Keel Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Geometry Theoretical physics Algebraic geometry Mathematics String theory Complex manifolds Differential geometry Mathematical physics CalabiYau manifold Toric variety Homological mirror symmetry Khler manifold
9	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
10	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