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://www.numdam.org/item/CTGDC_1991__32_4_345_0/ LA - en ID - CTGDC_1991__32_4_345_0 ER -