Algorithms for Ordinal Arithmetic.

Panagiotis Manolios, Daron Vroon

Browse the full CADE paper archive.