On centain decompositions of Gödel numberings

DOI10.1007/BF02025120zbMath0284.02022MaRDI QIDQ4770392

Bruno Buchberger

Publication date: 1974

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137886

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory (03D99)

Cites Work

• The Definition of Universal Turing Machine
• A Machine-Independent Theory of the Complexity of Recursive Functions
• Unnamed Item
• Unnamed Item

This page was built for publication: On centain decompositions of Gödel numberings