TY  - RPRT
TI  - The isomorphism problem for tree-automatic ordinals with addition
AU  - Sanjay Jain
AU  - Bakhadyr Khoussainov
AU  - Philipp Schlicht
AU  - Frank Stephan
PY  - 2019
UR  - https://arxiv.org/abs/1810.13153
ID  - 1810.13153
ER  -