Matthew Bishop

	2004
8		Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi: ETPS: A System to Help Students Write Formal Proofs. J. Autom. Reasoning 32(1): 75-92 (2004)
	2000
7		Peter B. Andrews, Matthew Bishop, Chad E. Brown: System Description: TPS: A Theorem Proving System for Type Theory. CADE 2000: 164-169
	1999
6		Matthew Bishop: A Breadth-First Strategy for Mating Search. CADE 1999: 359-373
5		Christoph Benzmüller, Matthew Bishop, Volker Sorge: Integrating Tps and Omega. J. UCS 5(3): 188-207 (1999)
	1998
4		Matthew Bishop, Peter B. Andrews: Selectively Instantiating Definitions. CADE 1998: 365-380
	1996
3		Peter B. Andrews, Matthew Bishop: On Sets, Types, Fixed Points, and Checkerboards. TABLEAUX 1996: 1-15
2		Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi: TPS: A Theorem-Proving System for Classical Type Theory. J. Autom. Reasoning 16(3): 321-353 (1996)
	1993
1		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. HUG 1993: 366-370

Coauthor Index

1	Peter B. Andrews	[1] [2] [3] [4] [7] [8]
2	Christoph Benzmüller (Christoph Benzmueller)	[5]
3	Chad E. Brown	[7] [8]
4	Sunil Issar	[1] [2] [8]
5	Daniel Nesmith (Dan Nesmith)	[1] [2]
6	Frank Pfenning	[1] [2] [8]
7	Volker Sorge	[5]
8	Hongwei Xi	[1] [2] [8]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page