DOI10.1002/malq.19780240803zbMath0405.03024OpenAlexW2026938847MaRDI QIDQ4190625
Dimiter Skordev
Publication date: 1978 Published in: Mathematical Logic Quarterly (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1002/malq.19780240803
zbMATH Keywords
Recursion TheoryIterative Combinatory SpacesNormal Form Theorem For Recursive Operators
Mathematics Subject Classification ID
Computability and recursion theory (03D99)
Related Items