TY  - JOUR
AU  - И.Р. Насыров
TI  - Теорема редукции для автоматов над деревьями
JO  - Veroâtnostnye metody i kibernetika
PY  - 1980
SP  - 79
EP  - 87
VL  - 17
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMK_1980__17_69203/
LA  - ru
ID  - VMK_1980__17_69203
ER  -