Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
31	Formale Systeme II: Theorie Dynamic Logic: Propositional Dynamic Logic SS 2016 Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-05-03 10:44:18 Logic Non-classical logic Metaphysics Mathematical logic Modal logic Philosophical logic Logic in computer science Dynamic logic KeY
32	Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗ Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Theoretical computer science Elementary mathematics Compiler optimizations Static single assignment form Logic programming Scope Unification Term FO Variable Singular spectrum analysis
33	DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic Robert Nieuwenhuis and Albert Oliveras? Abstract. At CAV’04 we presented the DPLL(T ) approach for satisfiability modulo theories T . I Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-06-14 03:44:48 Theoretical computer science Mathematics Mathematical logic Boolean algebra Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Unit propagation Literal
34	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
35	System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal Add to Reading List Source URL: www.logic.at Language: English - Date: 2012-07-25 08:00:06 Automated theorem proving Theoretical computer science Mathematical logic Mathematics Proof theory Logic in computer science Prover9 Resolution Proof compression Automated reasoning Natural deduction Mathematical proof
36	Geschichte • Jan Łukasiewicz: O logice tròjwarto´sciowej (On 3-valued logic). Ruch Filozoficzny, Vol. 5, 1920. Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:14:48 Logic Many-valued logic Philosophy Philosophy of logic Three-valued logic Jan ukasiewicz J. Barkley Rosser Mathematical logic
37	Advanced Proof Viewing in P ROOF T OOL Tomer Libal Martin Riener∗ Mikheil Rukhaia† Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-07-19 11:46:07 Proof theory Mathematical logic Logic Mathematics Sequent calculus Sequent Mathematical proof Cut-elimination theorem Formal proof Proof complexity Theorem Metamath
38	Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:36 Theoretical computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Isabelle Constructible universe LCF Mathematics (SAT -UNSAT)
39	Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Logic Mathematics Axioms of set theory 1Q Axiom
40	Integrating Theories into Inference Systems DIPLOMARBEIT zur Erlangung des akademischen Grades Diplom-Ingenieur/in Add to Reading List Source URL: www.logic.at Language: English - Date: 2011-04-15 18:12:26 Mathematical logic Logic Theoretical computer science Automated theorem proving Proof theory Logic programming Logic in computer science Type theory Unification Uninterpreted function Equational logic Variety