Extension of partial recursive functions and functions with a recursive graph

DOI10.1007/BF01098317zbMath0184.01803OpenAlexW2042171212MaRDI QIDQ2535681

V. A. Dusskij

Publication date: 1969

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01098317

zbMATH Keywords

recursion theory, constructive mathematics

Cites Work

• An enumeration of the primitive recursive functions without repetition
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• Enumeration of Recursive Sets
• Unnamed Item

This page was built for publication: Extension of partial recursive functions and functions with a recursive graph