Ordinal arithmetic in ACL2 (2003)

by Panagiotis Manolios , Daron Vroon
Venue:In ACL2 Workshop 2003
Citations:9 - 6 self

Document Versions

Ordinal arithmetic in ACL2 –Panagiotis Manolios, Daron Vroon — 2003 — In ACL2 Workshop 2003