The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions

DOI10.1002/MALQ.19820282002MaRDI QIDQ3043129zbMATH OpenOpenAlexFDO

Authors Gregory A. Riccardi

Publication date 1982

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19820282002

zbMATH Keywords

partial recursive function

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(3)

• The independence of control structures in abstract programming systems
• Composition is almost (but not quite) as good as \(s-1-1\)
• Infinitary self-reference in learning theory

This page was built for publication: The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions

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