Foundational Proof Checkers with Small Witnesses (2003)

by Dinghao Wu , Andrew W. Appel , Aaron Stump
Citations:24 - 6 self

Document Versions

Foundational Proof Checkers with Small Witnesses –Dinghao Wu, Andrew W. Appel, Aaron Stump — 2003
Foundational Proof Checkers with Small Witnesses –Dinghao Wu , Andrew W. Appel, Aaron Stump — 2003 — PPDP 2003