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

DOI10.1002/MALQ.19820282002zbMath0527.03023OpenAlexW1964257910MaRDI QIDQ3043129

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

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

Related Items (3)

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

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