Finite Trees as Ordinals

Herman Ruge Jervell. Finite Trees as Ordinals. In S. Barry Cooper, Benedikt Löwe, Leen Torenvliet, editors, New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings. Volume 3526 of Lecture Notes in Computer Science, pages 211-220, Springer, 2005. [doi]


Abstract is missing.