RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 28 (1994) no. 2

Sommaire

Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture

Finkel, Alain ; Petrucci, Laure

p. 73-124

Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes

Coudert, Olivier ; Madre, Jean-Christophe

p. 125-149