Tum - PDFSEARCH.IO - Document Search Engine

Tum
Results: 2953

#	Item
1	PDF Document Add to Reading List Source URL: isabelle.in.tum.de 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
2	PDF Document Add to Reading List Source URL: isabelle.in.tum.de 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
3	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: isabelle.in.tum.de 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
4	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:19:26 System software Software Computing Scripting languages System administration Cygwin Red Hat software Command shells Unix shell Environment variable Shell script Command-line interface
5	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
6	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
7	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
8	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2018-08-15 07:18:43 Mathematical proof Isabelle
9	PDF Document Add to Reading List Source URL: isabelle.in.tum.de 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
10	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: isabelle.in.tum.de 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