Satallax: An Automated Higher-Order Prover
(pdf)
Chad E. Brown
6th International Joint Conference on Automated Reasoning (IJCAR 2012)
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
(pdf)
Chad E. Brown
Technical Report
Analytic Tableaux for Higher-Order Logic with Choice
(pdf)
Julian Backes, Chad E. Brown
Journal of Automated Reasoning
Glivenko and Kuroda for Simple Type Theory
(pdf)
Chad E. Brown, Christine Rizkallah
Technical Report
Faithful Reproductions of the Automath Landau Formalization
(pdf)
Chad E. Brown
Technical Report
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
(pdf)
Chad E. Brown
CADE – the 23rd International Conference on Automated Deduction
Analytic Tableaux for Higher-Order Logic with Choice
(pdf)
Julian Backes, Chad E. Brown
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Chad E. Brown, Gert Smolka
Logical Methods in Computer Science
Cut-Simulation and Impredicativity
Christoph Benzmueller, Chad E. Brown, Michael Kohlhase
Logical Methods in Computer Science
Complete Cut-Free Tableaux for Equational Simple Type Theory
(pdf)
Chad E. Brown, Gert Smolka
Technical Report
Extended First-Order Logic
(pdf)
Chad E. Brown, Gert Smolka
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Proceedings
Terminating Tableaux for the Basic Fragment of Simple Type Theory
(pdf)
Chad E. Brown, Gert Smolka
TABLEAUX 2009
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Geoff Sutcliffe, Christoph E. Benzmüller, Chad E. Brown, Frank Theiss
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
Cut Elimination with xi-Functionality
(pdf)
Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
M-set Models
(pdf)
Chad E. Brown
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Set Comprehension in Church's Type Theory
(pdf)
Chad E. Brown
PhD Thesis, Department of Mathematical Sciences, Carnegie Mellon University