The following pages link to (Q5601758):
Displayed 4 items.
- Degree of unsolvability of the completeness problem in algebras of recursive functions (Q1121874) (← links)
- Operations and compositions in transrecursive operators (Q1905166) (← links)
- Program reduction allowing for additional specifications (Q1910970) (← links)
- Program equivalence checking by two-tape automata (Q2452753) (← links)