| 2009 |
|---|
| 13 | EE | Christoph Benzmüller,
Chad E. Brown,
Michael Kohlhase:
Cut-Simulation and Impredicativity
CoRR abs/0902.0043: (2009) |
| 2007 |
|---|
| 12 | EE | Feryal Fulya Horozal,
Chad E. Brown:
Formal Representation of Mathematics in a Dependently Typed Set Theory.
Calculemus/MKM 2007: 265-279 |
| 11 | EE | Chad E. Brown:
Encoding Functional Relations in Scunak.
Electr. Notes Theor. Comput. Sci. 174(5): 127-139 (2007) |
| 2006 |
|---|
| 10 | EE | Chad E. Brown:
Combining Type Theory and Untyped Set Theory.
IJCAR 2006: 205-219 |
| 9 | EE | Christoph Benzmüller,
Chad E. Brown,
Michael Kohlhase:
Cut-Simulation in Impredicative Logics.
IJCAR 2006: 220-234 |
| 8 | EE | Chad E. Brown:
Verifying and Invalidating Textbook Proofs Using Scunak.
MKM 2006: 110-123 |
| 7 | EE | 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 | EE | Chad E. Brown:
Reasoning in Extensional Type Theory with Equality.
CADE 2005: 23-37 |
| 5 | EE | Christoph Benzmüller,
Chad E. Brown:
A Structured Set of Higher-Order Problems.
TPHOLs 2005: 66-81 |
| 2004 |
|---|
| 4 | EE | 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 | EE | 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 |
