TY  - JOUR
AU  - Gruska, Jozef
TI  - Induction in formal languages. Some properties of reducing transformations and of isolable sets
JO  - Czechoslovak Mathematical Journal
PY  - 1965
SP  - 406
EP  - 415
VL  - 15
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/CMJ.1965.100683/
DO  - 10.21136/CMJ.1965.100683
LA  - en
ID  - 10_21136_CMJ_1965_100683
ER  -