Independence Results for n-Ary Recursion Theorems

DOI10.1007/978-3-642-03409-1_5zbMath1252.68075OpenAlexW1498614655MaRDI QIDQ3183595

Samuel E. III Moelius, John Case

Publication date: 20 October 2009

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03409-1_5

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Program Self-reference in Constructive Scott Subdomains ⋮ Program self-reference in constructive Scott subdomains ⋮ Automatic learning from positive data and negative counterexamples

This page was built for publication: Independence Results for n-Ary Recursion Theorems