First Page | Document Content | |
---|---|---|
Date: 2011-06-16 09:07:59Theoretical computer science Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Nqthm Rewrite order Symbol | Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨Add to Reading ListSource URL: www.dcs.bbk.ac.ukDownload Document from Source WebsiteFile Size: 335,48 KBShare Document on Facebook |
Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨DocID: 1reYE - View Document | |
The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR WorkshopDocID: 1oIBk - View Document | |
Can the computer really help us to prove theorems?DocID: 1lK2e - View Document | |
CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5DocID: 1kPXX - View Document | |
RAC Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational SciencesDocID: 1kPRp - View Document |