Faster Proof Checking in the Edinburgh Logical Framework (2002)
by
Aaron Stump
,
David L. Dill
| Venue: | In 18th International Conference on Automated Deduction |
| Citations: | 12 - 3 self |
Document Versions
| Faster Proof Checking in the Edinburgh Logical Framework –Aaron Stump, David L. Dill — 2002 — In 18th International Conference on Automated Deduction |
