Recursion theorems and effective domains

DOI10.1016/0168-0072(88)90029-2zbMATH Open0645.03045OpenAlexW2045355785MaRDI QIDQ1102949FDOQ1102949

Authors: 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

Recommendations

• scientific article; zbMATH DE number 3997775
• Independence Results for n-Ary Recursion Theorems
• Kleene's amazing second recursion theorem
• Effectivity questions for Kleene's recursion theorem
• scientific article; zbMATH DE number 3941520

zbMATH Keywords

numerationeffective domainsrecursion theorems

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Classes of Recursively Enumerable Sets and Their Decision Problems
• Effective operations on partial recursive functions
• Theorie der Numerierungen I
• Title not available (Why is that?)

Cited In (8)

• Subrecursive hierarchies on Scott domains
• Title not available (Why is that?)
• Kleene’s Amazing Second Recursion Theorem
• Recursive Functions on Lazy Lists via Domains and Topologies
• Infinitary simultaneous recursion theorem
• Anmerkungen zum Rekursionstheorem
• Independence Results for n-Ary Recursion Theorems
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102949)