Algorithms for ordinal arithmetic (2003)
by
Panagiotis Manolios
,
Daron Vroon
| Venue: | In 19th International Conference on Automated Deduction (CADE |
| Citations: | 10 - 5 self |
Document Versions
| Algorithms for ordinal arithmetic –Panagiotis Manolios, Daron Vroon — 2003 — In 19th International Conference on Automated Deduction (CADE |
