TY  - JOUR
AU  - Dung, Nguyen Xuang
TI  - On decidability of skeletal sets [Abstract of thesis]
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1990
VL  - 31
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1990__31_1_a25/
LA  - en
ID  - CMUC_1990__31_1_a25
ER  -