Search the dblp DataBase

Publications of Author

1. Peter B. Andrews, Chad E. Brown
   Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic. [Citation Graph (0, 0)][DBLP]
   CADE, 2000, pp:511-512 [Conf]
   
2. Peter B. Andrews, Matthew Bishop, Chad E. Brown
   System Description: TPS: A Theorem Proving System for Type Theory. [Citation Graph (0, 0)][DBLP]
   CADE, 2000, pp:164-169 [Conf]
   
3. Christoph Benzmüller, Chad E. Brown, Michael Kohlhase
   Cut-Simulation in Impredicative Logics. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:220-234 [Conf]
   
4. Chad E. Brown
   Solving for Set Variables in Higher-Order Theorem Proving. [Citation Graph (0, 0)][DBLP]
   CADE, 2002, pp:408-422 [Conf]
   
5. Chad E. Brown
   Reasoning in Extensional Type Theory with Equality. [Citation Graph (0, 0)][DBLP]
   CADE, 2005, pp:23-37 [Conf]
   
6. Chad E. Brown
   Combining Type Theory and Untyped Set Theory. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2006, pp:205-219 [Conf]
   
7. Chad E. Brown
   Verifying and Invalidating Textbook Proofs Using Scunak. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:110-123 [Conf]
   
8. Christoph Benzmüller, Chad E. Brown
   A Structured Set of Higher-Order Problems. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2005, pp:66-81 [Conf]
   
9. Chad E. Brown
   Encoding Functional Relations in Scunak. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:127-139 [Journal]
   
10. Peter B. Andrews, Chad E. Brown
    TPS: A hybrid automatic-interactive system for developing proofs. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:367-395 [Journal]
    
11. Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi
    ETPS: A System to Help Students Write Formal Proofs. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:32, n:1, pp:75-92 [Journal]
    
12. Feryal Fulya Horozal, Chad E. Brown
    Formal Representation of Mathematics in a Dependently Typed Set Theory. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:265-279 [Conf]
    
13. 
    Progress in the Development of Automated Theorem Proving for Higher-Order Logic. [Citation Graph (, )][DBLP]
    
    
14. 
    Analytic Tableaux for Higher-Order Logic with Choice. [Citation Graph (, )][DBLP]
    
    
15. 
    Terminating Tableaux for the Basic Fragment of Simple Type Theory. [Citation Graph (, )][DBLP]
    
    
16. 
    Extended First-Order Logic. [Citation Graph (, )][DBLP]
    
    
17. 
    Cut-Simulation and Impredicativity [Citation Graph (, )][DBLP]
    
    
18. 
    Analytic Tableaux for Simple Type Theory and its First-Order Fragment [Citation Graph (, )][DBLP]