scientific article; zbMATH DE number 65747

zbMATH Open0754.03034MaRDI QIDQ4010358FDOQ4010358

Authors: Neil D. Jones 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

Recommendations

• Applications of the Kleene-Kreisel density theorem to theoretical computer science
• scientific article; zbMATH DE number 1678376
• scientific article; zbMATH DE number 5778850
• scientific article; zbMATH DE number 738396
• scientific article; zbMATH DE number 702378
• Recursion theory. Computational aspects of definability
• Programming and automating mathematics in the Tarski-Kleene hierarchy
• scientific article; zbMATH DE number 408802
• Finitely recursive programs: decidability and bottom-up computation

zbMATH Keywords

recursion theoremcompiler generatorscomputable functionKleene fixed- points-m-n theorem

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Recursive functions and relations, subrecursive hierarchies (03D20) Applications of computability and recursion theory (03D80)

Cited In (4)

• Kleene's amazing second recursion theorem
• Composition is almost (but not quite) as good as \(s-1-1\)
• A Swiss pocket knife for computability
• Polynomially bounded recursive realizability

This page was built for publication:

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