TY - JOUR AU - S. D. Denisov TI - Structure of the upper semilattice of recursively enumerable JO - Algebra i logika PY - 1978 SP - 643 EP - 683 VL - 17 IS - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1978_17_6_a2/ LA - ru ID - AL_1978_17_6_a2 ER -