Tree-Automatic Well-Founded Trees.

Alexander Kartzow, Jiamou Liu, Markus Lohrey

Browse the full CiE paper archive.