Publications/Manuscripts of Chad Brown
2009
[11] Cut-Simulation and Impredicativity (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Logical Methods in Computer Science, volume 5, number 1:6, pp. 1-21, 2009. [bibtex] [pdf] [doi]
[10] Progress in the Development of Automated Theorem Proving for Higher-order Logic (Geoff Sutcliffe, Christoph Benzmüller, Chad Brown, Frank Theiss), In Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Renate Schmidt, ed.), Springer, LNCS, volume 5663, pp. 116-130, 2009. [bibtex] [pdf] [doi]
2008
[9] Cut Elimination with Xi-Functionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), Chapter in Reasoning in Simple Type Theory --- Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 84-100, 2008. [bibtex] [pdf]
2007
[8] The curious inference of Boolos in MIZAR and OMEGA (Christoph Benzmüller, Chad Brown), Chapter in From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec (Roman Matuszewski, Anna Zalewska, eds.), The University of Bialystok, Polen, Studies in Logic, Grammar, and Rhetoric, volume 10(23), pp. 299-388, 2007. [bibtex] [pdf]
2006
[7] Cut-Simulation in Impredicative Logics (extended version) (Christoph Benzmüller, Chad Brown, Michael Kohlhase), SEKI Publications (ISSN 1437-4447), number SR-2006-01, 2006. [bibtex] [pdf]
[6] Semantics of Higher-Order Logic (Christoph Benzmüller, Chad Brown), pp. 1-50, 2006. (Course Notes from the 18th European Summer School in Logic, Language and Information (ESSLLI'06)) [bibtex] [pdf]
[5] Cut-Simulation in Impredicate Logics (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Ulrich Furbach, Natarajan Shankar, eds.), Springer, LNCS, volume 4130, pp. 220-234, 2006. (slides) [bibtex] [pdf] [doi]
2005
[4] A Structured Set of Higher-Order Problems (Christoph Benzmüller, Chad Brown), In Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Joe Hurd, Thomas F. Melham, eds.), Springer, LNCS, number 3603, pp. 66-81, 2005. [bibtex] [pdf] [doi]
2004
[3] Higher-Order Semantics and Extensionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Journal of Symbolic Logic, volume 69, number 4, pp. 1027-1088, 2004. [bibtex] [pdf] [doi]
2003
[2] Semantic Techniques for Cut-Elimination in Higher Order Logic. (Christoph Benzmüller, Chad Brown, Michael Kohlhase), Technical report, Saarland University, Saarbrücken, Germany and Carnegie Mellon University, Pittsburgh, USA, 2003. [bibtex] [pdf]
[1] Higher Order Semantics and Extensionality. (Christoph Benzmüller, Chad Brown, Michael Kohlhase), Technical report, Carnegie Mellon University, Pittsburgh, PA, number CMU-01-03, pp. 1-74, 2003. [bibtex] [pdf]
Powered by bibtexbrowser