Search the dblp DataBase
Dan Nesmith: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning
The TPS Theorem Proving System. [Citation Graph (0, 0)][DBLP]
CADE, 1990, pp:641-642 [Conf] - Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment. [Citation Graph (0, 0)][DBLP]
CADE, 1994, pp:788-792 [Conf] - Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. [Citation Graph (0, 0)][DBLP]
CADE, 1994, pp:807-810 [Conf] - Frank Pfenning, Dan Nesmith
Presenting Intuitive Deductions via Symmetric Simplification. [Citation Graph (0, 0)][DBLP]
CADE, 1990, pp:336-350 [Conf] - Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory. [Citation Graph (0, 0)][DBLP]
HUG, 1993, pp:366-370 [Conf] - Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP. [Citation Graph (0, 0)][DBLP]
Inform., Forsch. Entwickl., 1996, v:11, n:1, pp:20-26 [Journal] - Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: A Theorem-Proving System for Classical Type Theory. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1996, v:16, n:3, pp:321-353 [Journal]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002