Glivenko and Kuroda for Simple Type Theory
Chad E. Brown, Christine Rizkallah
The Journal of Symbolic Logic
Reconsidering Pairs and Functions as Sets
(pdf)
Chad E. Brown
Technical Report, Technical Report of Article Submitted to Journal of Automated Reasoning
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
(pdf)
Chad E. Brown, Christine Rizkallah
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
(pdf)
Chad E. Brown
Journal of Automated Reasoning
Satallax: An Automated Higher-Order Prover
(pdf)
Chad E. Brown
6th International Joint Conference on Automated Reasoning (IJCAR 2012)
Glivenko and Kuroda for Simple Type Theory
(pdf)
Chad E. Brown, Christine Rizkallah
Technical Report, Submitted
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
Journal of Automated Reasoning
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
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
Complete Cut-Free Tableaux for Equational Simple Type Theory
(pdf)
Chad E. Brown, Gert Smolka
Technical Report
Cut-Simulation and Impredicativity
Christoph Benzmueller, Chad E. Brown, Michael Kohlhase
Logical Methods in Computer Science
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
M-set Models
(pdf)
Chad E. Brown
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
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
Set Comprehension in Church's Type Theory
(pdf)
Chad E. Brown
PhD Thesis, Department of Mathematical Sciences, Carnegie Mellon University