Faster Proof Checking in the Edinburgh Logical Framework (2002)

Cached

Download Links

by Aaron Stump , David L. Dill
Venue:In 18th International Conference on Automated Deduction
Citations:17 - 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