О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств

Голунков, Ю.В., and Савельев, А.А.. "О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств." Verojatnostnye metody i kibernetika 23 (1987): 58-81. <http://eudml.org/doc/69270>.

@article{Голунков1987,
author = {Голунков, Ю.В., Савельев, А.А.},
journal = {Verojatnostnye metody i kibernetika},
keywords = {systems of algorithmic algebras; partial recursive functions and; predicates; series of maximal subalgebras; ideals in the lattice of recursively enumerable sets},
language = {rus},
pages = {58-81},
publisher = {Izd. Kazanskogo universiteta},
title = {О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств},
url = {http://eudml.org/doc/69270},
volume = {23},
year = {1987},
}

TY - JOUR
AU - Голунков, Ю.В.
AU - Савельев, А.А.
TI - О системах алгоритмических алгерб, сохраняющих идеалы в решетке рекурсивно перечислимых множеств
JO - Verojatnostnye metody i kibernetika
PY - 1987
PB - Izd. Kazanskogo universiteta
VL - 23
SP - 58
EP - 81
LA - rus
KW - systems of algorithmic algebras; partial recursive functions and; predicates; series of maximal subalgebras; ideals in the lattice of recursively enumerable sets
UR - http://eudml.org/doc/69270
ER -