Algebra i logika, Tome 32 (1993) no. 2, pp. 131-138
Citer cet article
S. S. Zaurbekov. A bounded analogue of Rice's theorem at the third level for. Algebra i logika, Tome 32 (1993) no. 2, pp. 131-138. http://geodesic.mathdoc.fr/item/AL_1993_32_2_a1/
@article{AL_1993_32_2_a1,
author = {S. S. Zaurbekov},
title = {A bounded analogue of {Rice's} theorem at the third level for},
journal = {Algebra i logika},
pages = {131--138},
year = {1993},
volume = {32},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1993_32_2_a1/}
}
TY - JOUR
AU - S. S. Zaurbekov
TI - A bounded analogue of Rice's theorem at the third level for
JO - Algebra i logika
PY - 1993
SP - 131
EP - 138
VL - 32
IS - 2
UR - http://geodesic.mathdoc.fr/item/AL_1993_32_2_a1/
LA - ru
ID - AL_1993_32_2_a1
ER -
%0 Journal Article
%A S. S. Zaurbekov
%T A bounded analogue of Rice's theorem at the third level for
%J Algebra i logika
%D 1993
%P 131-138
%V 32
%N 2
%U http://geodesic.mathdoc.fr/item/AL_1993_32_2_a1/
%G ru
%F AL_1993_32_2_a1
