TY  - JOUR
AU  - Chisala, Busiso P.
AU  - Mawanda, Mbila-Mambu
TI  - Counting measure for Kuratowski finite parts and decidability
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1991
SP  - 345
EP  - 353
VL  - 32
IS  - 4
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1991__32_4_345_0/
LA  - en
ID  - CTGDC_1991__32_4_345_0
ER  -