TY - JOUR AU - Coudert, Olivier AU - Madre, Jean-Christophe TI - Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1994 SP - 125 EP - 149 VL - 28 IS - 2 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1994__28_2_125_0/ LA - fr ID - ITA_1994__28_2_125_0 ER -