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]
No references recorded for this publication.
No citations of this publication recorded.