The isomorphism problem for tree-automatic ordinals with addition (Q2274485)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7107750
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The isomorphism problem for tree-automatic ordinals with addition |
scientific article; zbMATH DE number 7107750 |
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
0.8117375373840332
0 references
0.8013280034065247
0 references
0.7957025170326233
0 references
0.7949016690254211
0 references
0.7930375933647156
0 references
