Publication:5601758
From MaRDI portal
zbMath0203.15102MaRDI QIDQ5601758
Publication date: 1965
Related Items
Degree of unsolvability of the completeness problem in algebras of recursive functions, Operations and compositions in transrecursive operators, Program reduction allowing for additional specifications, Program equivalence checking by two-tape automata