Jean-Jacques Monbaron

• Description des systèmes logiques combinatoires par des fonctions booléennes caractéristiques permettant le calcul des impliquants premiers et des couvertures irrédondantes au moyen d'un algorithme unique adapté aux petits ordinateurs