Integrating reasoning about ordinal arithmetic into ACL2 (2004)

Cached

Download Links

by Panagiotis Manolios , Daron Vroon
Venue:In Formal Methods in Computer-Aided Design: 5th International Conference – FMCAD-2004, LNCS
Citations:7 - 5 self