Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ?1
Citation
Norrish, M & Huffman, B 2013, 'Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) omega_1', in Sandrine Blazy, Christin Paulin-Mohring, David Pichardie (ed.), Lecture Notes in Computer Science: Interactive Theorem Proving, Springer Science + Business Media, Chennai, India, pp. 133-146.Year
2013ANU Authors
Field of Research
- Analysis Of Algorithms And Complexity