
Search the dblp DataBase
Matthew Bishop:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Matthew Bishop
A BreadthFirst Strategy for Mating Search. [Citation Graph (0, 0)][DBLP] CADE, 1999, pp:359373 [Conf]
 Matthew Bishop, Peter B. Andrews
Selectively Instantiating Definitions. [Citation Graph (0, 0)][DBLP] CADE, 1998, pp:365380 [Conf]
 Peter B. Andrews, Matthew Bishop, Chad E. Brown
System Description: TPS: A Theorem Proving System for Type Theory. [Citation Graph (0, 0)][DBLP] CADE, 2000, pp:164169 [Conf]
 Peter B. Andrews, Matthew Bishop
On Sets, Types, Fixed Points, and Checkerboards. [Citation Graph (0, 0)][DBLP] TABLEAUX, 1996, pp:115 [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:366370 [Conf]
 Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: A TheoremProving System for Classical Type Theory. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:16, n:3, pp:321353 [Journal]
 Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi
ETPS: A System to Help Students Write Formal Proofs. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2004, v:32, n:1, pp:7592 [Journal]
 Christoph Benzmüller, Matthew Bishop, Volker Sorge
Integrating Tps and Omega. [Citation Graph (0, 0)][DBLP] J. UCS, 1999, v:5, n:3, pp:188207 [Journal]
Search in 0.003secs, Finished in 0.004secs
