32 results on '"BROWN, CHAD E."'
Search Results
2. Lash 1.0 (System Description)
3. Prolog Technology Reinforcement Learning Prover
4. A Tale of Two Set Theories
5. GRUNGE: A Grand Unified ATP Challenge
6. Extracting Higher-Order Goals from the Mizar Mathematical Library
7. Satallax: An Automatic Higher-Order Prover
8. Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
9. Analytic Tableaux for Higher-Order Logic with Choice
10. Terminating Tableaux for the Basic Fragment of Simple Type Theory
11. Progress in the Development of Automated Theorem Proving for Higher-Order Logic
12. Extended First-Order Logic
13. Combining Type Theory and Untyped Set Theory
14. Cut-Simulation in Impredicative Logics
15. Verifying and Invalidating Textbook Proofs Using Scunak
16. A Structured Set of Higher-Order Problems
17. Reasoning in Extensional Type Theory with Equality
18. Solving for Set Variables in Higher-Order Theorem Proving
19. Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic
20. System Description: TPS: A Theorem Proving System for Type Theory
21. AIM Loops and the AIM Conjecture
22. Reconsidering Pairs and Functions as Sets
23. Formal Representation of Mathematics in a Dependently Typed Set Theory
24. GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY
25. Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
26. Analytic Tableaux for Simple Type Theory and its First-Order Fragment
27. Cut-Simulation and Impredicativity
28. Encoding Functional Relations in Scunak
29. TPS: A hybrid automatic-interactive system for developing proofs
30. Higher-order semantics and extensionality
31. ETPS: A System to Help Students Write Formal Proofs
32. From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.