|
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 1984, Number 11, Pages 57–59
(Mi ivm8365)
|
|
|
|
Brief communications
A lattice of systems of algorithmic algebras of partial recursive functions and predicates
Yu. V. Golunkov, A. A. Savel'ev
Received: 25.11.1983
Citation:
Yu. V. Golunkov, A. A. Savel'ev, “A lattice of systems of algorithmic algebras of partial recursive functions and predicates”, Izv. Vyssh. Uchebn. Zaved. Mat., 1984, no. 11, 57–59; Soviet Math. (Iz. VUZ), 28:11 (1984), 71–74
Linking options:
https://www.mathnet.ru/eng/ivm8365 https://www.mathnet.ru/eng/ivm/y1984/i11/p57
|
Statistics & downloads: |
Abstract page: | 112 | Full-text PDF : | 47 | First page: | 1 |
|