Post’s Problem for Ordinal Register Machines (Q5425337)
From MaRDI portal
scientific article; zbMATH DE number 5211265
Language | Label | Description | Also known as |
---|---|---|---|
English | Post’s Problem for Ordinal Register Machines |
scientific article; zbMATH DE number 5211265 |
Statements
Post’s Problem for Ordinal Register Machines (English)
0 references
13 November 2007
0 references
computability
0 references
ordinal computability
0 references
ordinal register machine
0 references
Post's Problem
0 references