Books1Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, IFCoLog. Editors: Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, Richard Statman. 2008. Available through Amazon 2Chad E. Brown. Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory. 2007. Available through Amazon Articles in Refereed Journals3Christoph Benzmüller, Chad E. Brown, Michael Kohlhase. Cut-Simulation in Impredicative Logics. Logical Methods in Computer Science. Volume 5, Issue 1:1-21, March 2009 LMCS Page pdf ps 4Peter B. Andrews, Chad E. Brown. TPS: A hybrid automatic-interactive system for developing proofs. J. Applied Logic 4:367-395, 2006. 5Christoph Benzmüller, Chad E. Brown, Michael Kohlhase. Higher-order semantics and extensionality. Journal of Symbolic Logic 69:1027-1088, 2004. bib pdf 6Peter B. Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Frank Pfenning, Hongwei Xi. ETPS: A System to Help Students Write Formal Proofs. J. Autom. Reasoning 32:75-92, 2004. 7V. Anuradha, C. E. Brown, and R. Shivaji. Explosive non-negative solutions to two point boundary value problem, J. Nonlinear Analysis, TMA 26(3), 1996, pp. 613-630. Articles in Proceedings of Conferences8Chad E. Brown and Gert Smolka. Extended First-Order Logic. TPHOLs 2009, Springer LNCS 5674, August 2009 pdf Abstract with PDF and BIBTEX bib 9Chad E. Brown and Gert Smolka. Terminating Tableaux for the Basic Fragment of Simple Type Theory. TABLEAUX 2009:138-151, Springer LNCS 5607 Abstract with PDF and BIBTEX pdf bib 10Feryal Fulya Horozal, Chad E. Brown. Formal Representation of Mathematics in a Dependently Typed Set Theory. Toward Mechanized Mathematical Assistants (MKM 2007) 265-279, 2007. pdf 11Chad E. Brown. Verifying and Invalidating Textbook Proofs using Scunak. Mathematical Knowledge Management, MKM 2006 110-123, 2006. ps pdf bib 12Chad E. Brown. Combining Type Theory and Untyped Set Theory. 2006. ps pdf bib 13Christoph Benzmüller, Chad E. Brown, Michael Kohlhase. Cut-Simulation in Impredicative Logics. IJCAR 220-234, 2006. bib pdf 14Chad E. Brown. Reasoning in Extensional Type Theory with Equality. CADE 23-37, 2005. bib ps pdf 15Christoph Benzmüller, Chad E. Brown. A Structured Set of Higher-Order Problems. TPHOLs 66-81, 2005. bib pdf 16Chad E. Brown. Solving for Set Variables in Higher-Order Theorem Proving. CADE 408-422, 2002. ps Articles in Collections17Christoph Benzmüller, Chad E. Brown, Michael Kohlhase. Cut Elimination with xi-Functionality. Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, 2008. bib pdf 18Chad E. Brown. M-Set Models. Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, 2008. bib pdf 19Christoph Benzmüller, Chad E. Brown. The Curious Inference of Boolos in Mizar and OMEGA.
From Insight to Proof: Festschrift in Honour of Andrzej Trybulec
Studies in Logic, Grammar and Rhetoric. Editors R. Matuszewski and A. Zalewska.
University of Bialystok. 10(23), 299--386. 2007 bib pdf Workshops Articles20Chad E. Brown. Encoding Functional Relations in Scunak. LFMTP'2006, 2006. pdf bib System Descriptions21Peter B. Andrews, Matthew Bishop, Chad E. Brown. System Description: TPS: A Theorem Proving System for Type Theory. CADE 164-169, 2000. ps Technical Reports22Julian Backes and Chad E. Brown. Analytic Tableaux for Higher-Order Logic with Choice. Technical Report, Saarbrücken, Germany, January 2010. Submitted. Abstract with PDF and BIBTEX 23Chad E. Brown and Gert Smolka. Analytic Tableaux for Simple Type Theory and its First-Order Fragment. Technical Report, Saarbrücken, Germany, December 2009. Submitted. Abstract with PDF and BIBTEX 24Chad E. Brown and Gert Smolka. Complete Cut-Free Tableaux for Equational Simple Type Theory. Technical Report, Saarbrücken, Germany, April 2009 Abstract with PDF and BIBTEX 25Peter B. Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Frank Pfenning, Hongwei Xi. ETPS: A System to Help Students Write Formal Proofs. Department of Mathematical Sciences, Carnegie Mellon University. 03-002. 2003. 26Christoph Benzmüller, Chad E. Brown, Michael Kohlhase. Higher Order Semantics and Extensionality. Department of Mathematical Sciences, Carnegie Mellon University. 03-001. 2003. Working Papers |