Unification - PDFSEARCH.IO - Document Search Engine

Unification
Results: 1593

#	Item
91	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe
92	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
93	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
94	A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2015-09-03 07:24:29 Model theory First-order logic Type Hoare logic Unification
95	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
96	Unification of a global biological reagent tracking system at AstraZeneca About • astrazeneca.co.uk • Headquarters: Cambridge, England, Add to Reading List Source URL: assets.labguru.com Language: English - Date: 2015-08-28 03:06:07 AstraZeneca Sdertlje Municipality
97	CEREMONY of BLESSING at THE NEW YORK MARBLE CEMETERY 26th Maya.m. Add to Reading List Source URL: www.marblecemetery.org Language: English - Date: 2014-07-01 17:21:03 Death customs Bo Book of Exodus Shevat Cemetery Blessing ceremony of the Unification Church
98	A Methodology for the Structured Unification of Scheme and Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Algorithm Mathematical logic Theoretical computer science Dwight D. Eisenhower
99	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-09-07 15:06:52 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol
100	A BI-DIRECTIONAL REFINEMENT ALGORITHM FOR THE CALCULUS OF (CO)INDUCTIVE CONSTRUCTIONS ANDREA ASPERTI, WILMER RICCIOTTI, CLAUDIO SACERDOTI COEN, AND ENRICO TASSI Dipartimento di Scienze dell’informazione, Mura Anteo Zam Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:29 Type theory Matita Agda Unification Calculus of constructions Type system HindleyMilner type system System F Refinement Type inference Algorithm Dependent type