Ordinal arithmetic in ACL2 (2003)

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