Geodesic
О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств
Veroâtnostnye metody i kibernetika, Tome 23 (1987), pp. 58-81.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : systems of algorithmic algebras, partial recursive functions and, predicates, series of maximal subalgebras, ideals in the lattice of recursively enumerable sets 
@article{VMK_1987__23_69270,
     author = {{\CYRYU}.{\CYRV}. {\CYRG}{\cyro}{\cyrl}{\cyru}{\cyrn}{\cyrk}{\cyro}{\cyrv} and {\CYRA}.{\CYRA}. {\CYRS}{\cyra}{\cyrv}{\cyre}{\cyrl}{\cyrsftsn}{\cyre}{\cyrv}},
     title = {{\CYRO} {\cyrs}{\cyri}{\cyrs}{\cyrt}{\cyre}{\cyrm}{\cyra}{\cyrh} {\cyra}{\cyrl}{\cyrg}{\cyro}{\cyrr}{\cyri}{\cyrt}{\cyrm}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyri}{\cyrh} {\cyra}{\cyrl}{\cyrg}{\cyre}{\cyrr}{\cyrb}, {\cyrs}{\cyro}{\cyrh}{\cyrr}{\cyra}{\cyrn}{\cyrya}{\cyryu}{\cyrshch}{\cyri}{\cyrh} {\cyri}{\cyrd}{\cyre}{\cyra}{\cyrl}{\cyrery} {\cyrv} {\cyrr}{\cyre}{\cyrsh}{\cyre}{\cyrt}{\cyrk}{\cyre} {\cyrr}{\cyre}{\cyrk}{\cyru}{\cyrr}{\cyrs}{\cyri}{\cyrv}{\cyrn}{\cyro} {\cyrp}{\cyre}{\cyrr}{\cyre}{\cyrch}{\cyri}{\cyrs}{\cyrl}{\cyri}{\cyrm}{\cyrery}{\cyrh} {\cyrm}{\cyrn}{\cyro}{\cyrzh}{\cyre}{\cyrs}{\cyrt}{\cyrv}},
     journal = {Vero\^atnostnye metody i kibernetika},
     pages = {58--81},
     publisher = {mathdoc},
     volume = {23},
     year = {1987},
     zbl = {0671.03027},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMK_1987__23_69270/}
}
TY  - JOUR
AU  - Ю.В. Голунков
AU  - А.А. Савельев
TI  - О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств
JO  - Veroâtnostnye metody i kibernetika
PY  - 1987
SP  - 58
EP  - 81
VL  - 23
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1987__23_69270/
LA  - ru
ID  - VMK_1987__23_69270
ER  - 
%0 Journal Article
%A Ю.В. Голунков
%A А.А. Савельев
%T О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств
%J Veroâtnostnye metody i kibernetika
%D 1987
%P 58-81
%V 23
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMK_1987__23_69270/
%G ru
%F VMK_1987__23_69270
Ю.В. Голунков; А.А. Савельев. О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств. Veroâtnostnye metody i kibernetika, Tome 23 (1987), pp. 58-81. http://geodesic.mathdoc.fr/item/VMK_1987__23_69270/