Automated theorem proving in a simple meta-logic for LF
Lecture notes in computer science1998pp. 286–300
Citations Over TimeTop 10% of 1998 papers
Related Papers
- → Induction in Saturation-Based Proof Search(2019)25 cited
- → Hot: A concurrent automated theorem prover based on higher-order tableaux(1998)10 cited
- → Interest driven suppositional reasoning(1990)17 cited
- → Processing of Logic(2001)
- An Introduction to the Concepts and Techniques of Automated Theorem-Proving(1975)