Chad E. Brown

	2009
16		Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss: Progress in the Development of Automated Theorem Proving for Higher-Order Logic. CADE 2009: 116-130
15		Chad E. Brown, Gert Smolka: Terminating Tableaux for the Basic Fragment of Simple Type Theory. TABLEAUX 2009: 138-151
14		Chad E. Brown, Gert Smolka: Extended First-Order Logic. TPHOLs 2009: 164-179
13		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity Logical Methods in Computer Science 5(1): (2009)
	2007
12		Feryal Fulya Horozal, Chad E. Brown: Formal Representation of Mathematics in a Dependently Typed Set Theory. Calculemus/MKM 2007: 265-279
11		Chad E. Brown: Encoding Functional Relations in Scunak. Electr. Notes Theor. Comput. Sci. 174(5): 127-139 (2007)
	2006
10		Chad E. Brown: Combining Type Theory and Untyped Set Theory. IJCAR 2006: 205-219
9		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234
8		Chad E. Brown: Verifying and Invalidating Textbook Proofs Using Scunak. MKM 2006: 110-123
7		Peter B. Andrews, Chad E. Brown: TPS: A hybrid automatic-interactive system for developing proofs. J. Applied Logic 4(4): 367-395 (2006)
	2005
6		Chad E. Brown: Reasoning in Extensional Type Theory with Equality. CADE 2005: 23-37
5		Christoph Benzmüller, Chad E. Brown: A Structured Set of Higher-Order Problems. TPHOLs 2005: 66-81
	2004
4		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)
	2002
3		Chad E. Brown: Solving for Set Variables in Higher-Order Theorem Proving. CADE 2002: 408-422
	2000
2		Peter B. Andrews, Matthew Bishop, Chad E. Brown: System Description: TPS: A Theorem Proving System for Type Theory. CADE 2000: 164-169
1		Peter B. Andrews, Chad E. Brown: Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic. CADE 2000: 511-512

Coauthor Index

1	Peter B. Andrews	[1] [2] [4] [7]
2	Christoph Benzmüller (Christoph Benzmueller)	[5] [9] [13] [16]
3	Matthew Bishop	[2] [4]
4	Feryal Fulya Horozal	[12]
5	Sunil Issar	[4]
6	Michael Kohlhase	[9] [13]
7	Frank Pfenning	[4]
8	Gert Smolka	[14] [15]
9	Geoff Sutcliffe	[16]
10	Frank Theiss	[16]
11	Hongwei Xi	[4]

Colors in the list of coauthors