Maier, Werner; Menzel, W.; Sperschneider, V. Embedding properties of total recursive functions. (English) Zbl 0501.03026 Z. Math. Logik Grundlagen Math. 28, 565-575 (1982). MSC: 03D20 PDFBibTeX XMLCite \textit{W. Maier} et al., Z. Math. Logik Grundlagen Math. 28, 565--575 (1982; Zbl 0501.03026) Full Text: DOI
Maier, Werner Graphen total rekursiver Funktionen. (Dissertation). (German) Zbl 0475.03019 Fakultät für Informatik der Universität Karlsruhe (Technische Hochschule). I, 111 S. (1981). MSC: 03D20 03D15 05C99 PDFBibTeX XML