Sciweavers

84
Voted
AML
2008
66views more  AML 2008»
15 years 15 days ago
Register computations on ordinals
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounde...
Peter Koepke, Ryan Siders