TY  - JOUR
AU  - L. I. Stanevichene
TI  - An unsolvable algorithmic problem for deterministic push-down
JO  - Doklady Akademii Nauk
PY  - 1995
SP  - 744
EP  - 746
VL  - 342
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DAN_1995_342_6_a5/
LA  - ru
ID  - DAN_1995_342_6_a5
ER  -