Chad E. Brown

	2011
21		Chad E. Brown: Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems. CADE 2011: 147-161
20		Julian Backes, Chad E. Brown: Analytic Tableaux for Higher-Order Logic with Choice. J. Autom. Reasoning 47(4): 451-479 (2011)
	2010
19		Julian Backes, Chad E. Brown: Analytic Tableaux for Higher-Order Logic with Choice. IJCAR 2010: 76-90
18		Chad E. Brown, Gert Smolka: Analytic Tableaux for Simple Type Theory and its First-Order Fragment Logical Methods in Computer Science 6(2): (2010)
	2009
17		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
16		Chad E. Brown, Gert Smolka: Terminating Tableaux for the Basic Fragment of Simple Type Theory. TABLEAUX 2009: 138-151
15		Chad E. Brown, Gert Smolka: Extended First-Order Logic. TPHOLs 2009: 164-179
14		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation and Impredicativity Logical Methods in Computer Science 5(1): (2009)
	2007
13		Feryal Fulya Horozal, Chad E. Brown: Formal Representation of Mathematics in a Dependently Typed Set Theory. Calculemus/MKM 2007: 265-279
12		Chad E. Brown: Encoding Functional Relations in Scunak. Electr. Notes Theor. Comput. Sci. 174(5): 127-139 (2007)
	2006
11		Chad E. Brown: Combining Type Theory and Untyped Set Theory. IJCAR 2006: 205-219
10		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Cut-Simulation in Impredicative Logics. IJCAR 2006: 220-234
9		Chad E. Brown: Verifying and Invalidating Textbook Proofs Using Scunak. MKM 2006: 110-123
8		Peter B. Andrews, Chad E. Brown: TPS: A hybrid automatic-interactive system for developing proofs. J. Applied Logic 4(4): 367-395 (2006)
	2005
7		Chad E. Brown: Reasoning in Extensional Type Theory with Equality. CADE 2005: 23-37
6		Christoph Benzmüller, Chad E. Brown: A Structured Set of Higher-Order Problems. TPHOLs 2005: 66-81
	2004
5		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)
4		Christoph Benzmüller, Chad E. Brown, Michael Kohlhase: Higher-order semantics and extensionality. J. Symb. Log. 69(4): 1027-1088 (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] [5] [8]
2	Julian Backes	[19] [20]
3	Christoph Benzmüller (Christoph Benzmueller)	[4] [6] [10] [14] [17]
4	Matthew Bishop	[2] [5]
5	Feryal Fulya Horozal	[13]
6	Sunil Issar	[5]
7	Michael Kohlhase	[4] [10] [14]
8	Frank Pfenning	[5]
9	Gert Smolka	[15] [16] [18]
10	Geoff Sutcliffe	[17]
11	Frank Theiss	[17]
12	Hongwei Xi	[5]

Colors in the list of coauthors

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