A lattice of systems of algorithmic algebras of partial recursive functions and predicates
Izvestiâ vysših učebnyh zavedenij. Matematika, no. 11 (1984), pp. 57-59
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{IVM_1984_11_a8,
author = {Yu. V. Golunkov and A. A. Savel'ev},
title = {A lattice of systems of algorithmic algebras of partial recursive functions and predicates},
journal = {Izvesti\^a vys\v{s}ih u\v{c}ebnyh zavedenij. Matematika},
pages = {57--59},
publisher = {mathdoc},
number = {11},
year = {1984},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/IVM_1984_11_a8/}
}
TY - JOUR AU - Yu. V. Golunkov AU - A. A. Savel'ev TI - A lattice of systems of algorithmic algebras of partial recursive functions and predicates JO - Izvestiâ vysših učebnyh zavedenij. Matematika PY - 1984 SP - 57 EP - 59 IS - 11 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IVM_1984_11_a8/ LA - ru ID - IVM_1984_11_a8 ER -
%0 Journal Article %A Yu. V. Golunkov %A A. A. Savel'ev %T A lattice of systems of algorithmic algebras of partial recursive functions and predicates %J Izvestiâ vysših učebnyh zavedenij. Matematika %D 1984 %P 57-59 %N 11 %I mathdoc %U http://geodesic.mathdoc.fr/item/IVM_1984_11_a8/ %G ru %F IVM_1984_11_a8
Yu. V. Golunkov; A. A. Savel'ev. A lattice of systems of algorithmic algebras of partial recursive functions and predicates. Izvestiâ vysših učebnyh zavedenij. Matematika, no. 11 (1984), pp. 57-59. http://geodesic.mathdoc.fr/item/IVM_1984_11_a8/