Clarkson - PDFSEARCH.IO - Document Search Engine

Clarkson
Results: 900

#	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	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
9	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
10	PDF Document Add to Reading List Source URL: mirror.clarkson.edu 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