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}, }