Automated Theorem Proving in a Simple Meta-Logic for LF (1998)

by Carsten Schürmann , Frank Pfenning
Venue:PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-15
Citations:35 - 16 self