The isomorphism problem for tree-automatic ordinals with addition (Q2274485)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The isomorphism problem for tree-automatic ordinals with addition |
scientific article |
Statements
The isomorphism problem for tree-automatic ordinals with addition (English)
0 references
20 September 2019
0 references
theory of computation
0 references
automatic structures
0 references
tree-automatic structures
0 references
ordinals
0 references
