1![Journal 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¨](https://www.pdfsearch.io/img/668e63456b14443e4d5888611bede104.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2011-06-16 09:07:59
|
---|
2![The 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](https://www.pdfsearch.io/img/ffca202896f2b98c83ffbf46a854276f.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2006-07-11 15:25:07
|
---|
3![Can the computer really help us to prove theorems? Can the computer really help us to prove theorems?](https://www.pdfsearch.io/img/75ea448d3c0e9ec8f4994f08f4c5d3aa.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2011-11-17 12:13:56
|
---|
4![CLASE 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](https://www.pdfsearch.io/img/e80a5b40c92dd73c5cfbd36e66560f1b.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-05-19 12:03:26
|
---|
5![RAC 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](https://www.pdfsearch.io/img/6b9a1b47c39559c10c03e17954ec239d.jpg) | Add to Reading ListSource URL: www-i2.informatik.rwth-aachen.deLanguage: English - Date: 2006-07-26 07:36:55
|
---|
6![](https://www.pdfsearch.io/img/9318f138343000933d40b67620d99ce0.jpg) | Add to Reading ListSource URL: www.cs.utexas.eduLanguage: English - Date: 2003-07-07 13:20:50
|
---|
7![Logic / IsaPlanner / Mathematical proof / Proof theory / Nqthm / Automated theorem proving / Mathematics / Rippling Logic / IsaPlanner / Mathematical proof / Proof theory / Nqthm / Automated theorem proving / Mathematics / Rippling](/pdf-icon.png) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2013-10-30 13:20:29
|
---|
8![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 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](https://www.pdfsearch.io/img/59b22457097a380a537d905fcc2afd40.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2014-05-14 09:11:06
|
---|
9![Institut 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](https://www.pdfsearch.io/img/158f1dd739f89918fdf13bbe2c78d401.jpg) | Add to Reading ListSource URL: www.f4.fhtw-berlin.deLanguage: English - Date: 2011-04-20 09:47:07
|
---|
10![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 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](https://www.pdfsearch.io/img/3453f8081772c8dc6136d0321819a7f9.jpg) | Add to Reading ListSource URL: vstte.ethz.chLanguage: English - Date: 2005-10-11 03:37:08
|
---|