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