Efficient Representation and Validation of Logical Proofs (1997)

Cached

Download Links

by George C. Necula , Peter Lee
Citations:45 - 6 self

Document Versions

Efficient Representation and Validation of Logical Proofs –George C. Necula, Peter Lee — 1997