TY  - JOUR
AU  - Yu. M. Vazhenin
AU  - B. V. Rozenblat
TI  - Decidability of the positive theory of a~free countably generated semigroup
JO  - Sbornik. Mathematics
PY  - 1983
SP  - 109
EP  - 116
VL  - 44
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SM_1983_44_1_a5/
LA  - en
ID  - SM_1983_44_1_a5
ER  -