A classification of an iterative hierarchy

Springer Science and Business Media LLC - Tập 23 - Trang 175-186 - 1983
Hans Kleine Büning1
1Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, Karlsruhe 1, Germany

Tài liệu tham khảo

Georgieva, N.: Classes on one-argument recursive functions. Z. Math. Logik Grundlagen Math.22, 127–130 (1976). Grzegorczyk, A.: Some classes of recursive functions. Rozprawy Matematyczne4, 1–45 (1953). Naumović, J.: A classification of the one-argument primitive functions. Dissertation, Paderborn 1980. Naumović, J.: A classification of the one-argument primitive recursive functions. Arch. math. Logik,23, 161–174 (1983).