Nqthm

Results: 24



#Item
1Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨

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 List

Source URL: www.dcs.bbk.ac.uk

Language: English - Date: 2011-06-16 09:07:59
2The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop

The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop

Add to Reading List

Source URL: www.cs.miami.edu

Language: English - Date: 2006-07-11 15:25:07
3Can the computer really help us to prove theorems?

Can the computer really help us to prove theorems?

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2011-11-17 12:13:56
4CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2005-05-19 12:03:26
5RAC  Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational Sciences

RAC  Rev. R. Acad. Cien. Serie A. Mat. VOL), 2004, pp. 153–180 Ciencias de la Computaci´on / Computational Sciences

Add to Reading List

Source URL: www-i2.informatik.rwth-aachen.de

Language: English - Date: 2006-07-26 07:36:55
6

PDF Document

Add to Reading List

Source URL: www.cs.utexas.edu

Language: English - Date: 2003-07-07 13:20:50
7Logic / IsaPlanner / Mathematical proof / Proof theory / Nqthm / Automated theorem proving / Mathematics / Rippling

Towards a Strategy Language for Describing Proofs Alan Bundy University of Edinburgh AI4FM Kick-off Meeting

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2013-10-30 13:20:29
8The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK

The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-05-14 09:11:06
9Institut fur Informatik und Praktische Mathematik der Christian-Albrechts-Universitat zu Kiel Olshausenstr. 40 DKiel Contributions

Institut fur Informatik und Praktische Mathematik der Christian-Albrechts-Universitat zu Kiel Olshausenstr. 40 DKiel Contributions

Add to Reading List

Source URL: www.f4.fhtw-berlin.de

Language: English - Date: 2011-04-20 09:47:07
10It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania

It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania

Add to Reading List

Source URL: vstte.ethz.ch

Language: English - Date: 2005-10-11 03:37:08