Publication:3219105

zbMath0555.68019MaRDI QIDQ3219105

Dirk Siefkes, J. Richard Buchi, Bernd Mahr

Publication date: 1984

zbMATH Keywords

recursive functions; computability over arbitrary data structures; recursion over arbitrary data structures

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

03D15: Complexity of computation (including implicit computational complexity)

03D60: Computability and recursion theory on ordinals, admissible sets, etc.