Equational logic - PDFSEARCH.IO - Document Search Engine

Equational logic
Results: 22

#	Item
1	A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2008-07-02 09:38:12 Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula
2	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Marcelo Fiore Makoto Hamana Add to Reading List Source URL: www.cs.gunma-u.ac.jp Language: English - Date: 2013-05-13 02:37:11
3	Linear Equational Tree Logic Linear Equational Dag Logic An Equational Logic for PROPs Gordon Plotkin Laboratory for the Foundations of Computer Science, School of Informatics, Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-09-20 10:00:30
4	Abstract Canonical Presentations ? Nachum Dershowitz 1 School of Computer Science Tel-Aviv University P.O. Box 39040 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2005-07-19 18:40:19 Mathematical proof Equational logic Proof theory Theorem Automated theorem proving Mathematical induction Logic Mathematics Mathematical logic
5	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra
6	BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-06 03:22:49 Applied mathematics Mathematical logic Order theory Logic in computer science Metalogic Model theory Equational logic Simulation preorder Preorder Mathematics Logic Theoretical computer science
7	The Logic of U·(TP)2 Andrew Butterfield UTP2012, CNAM, Paris, 27th August 2012 Introducing U·(TP)2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 08:37:32 Logic Mathematics Equational logic Science Academia Mathematical logic Abstraction Axiology
8	Reference Card Jean-Raymond Abrial and Thai Son Hoang April 2008 Contents Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:27:26 Propositional calculus Boolean algebra Semantics Logical connectives First-order logic Negation Deduction theorem Equational logic Logic Mathematical logic Mathematics
9	The Logic and Handling of Algebraic Effects Matija Pretnar NI VER Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic programming First-order logic Equational logic Logic Mathematics Mathematical logic
10	Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:16 Logic in computer science Mathematical logic Type theory Dependently typed programming Higher-order functions Append Curry–Howard correspondence Curry Structural induction Software engineering Computing Computer programming