The isomorphism problem for tree-automatic ordinals with addition

Sanjay Jain 0001, Bakhadyr Khoussainov, Philipp Schlicht, Frank Stephan 0001. The isomorphism problem for tree-automatic ordinals with addition. Inf. Process. Lett., 149:19-24, 2019. [doi]

@article{JainKSS19,
  title = {The isomorphism problem for tree-automatic ordinals with addition},
  author = {Sanjay Jain 0001 and Bakhadyr Khoussainov and Philipp Schlicht and Frank Stephan 0001},
  year = {2019},
  doi = {10.1016/j.ipl.2019.05.004},
  url = {https://doi.org/10.1016/j.ipl.2019.05.004},
  researchr = {https://researchr.org/publication/JainKSS19},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {149},
  pages = {19-24},
}