Algorithms for ordinal arithmetic (2003)

Cached

Download Links

by Panagiotis Manolios , Daron Vroon
Venue:In 19th International Conference on Automated Deduction (CADE
Citations:11 - 5 self

Document Versions

Algorithms for ordinal arithmetic –Panagiotis Manolios, Daron Vroon — 2003 — In 19th International Conference on Automated Deduction (CADE