Recursion theorems and effective domains

DOI10.1016/0168-0072(88)90029-2zbMath0645.03045OpenAlexW2045355785MaRDI QIDQ1102949

Akira Kanda

Publication date: 1988

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(88)90029-2

zbMATH Keywords

numerationeffective domainsrecursion theorems

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Cites Work

• Effective operations on partial recursive functions
• Theorie der Numerierungen I
• Classes of Recursively Enumerable Sets and Their Decision Problems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Recursion theorems and effective domains