• Tree-automatic well-founded trees

      Liu, J; Kartzow, A; Lohrey, M; Huschenbett, M (International Federation of Computational Logic, 2013)
      We investigate tree-automatic well-founded trees. Using Delhomme's decomposition technique for tree-automatic structures, we show that the (ordinal) rank of a tree-automatic well-founded tree is strictly below omega^omega. ...