Auteur : Stéphane Dellière
Titre : D.M.Wang simple systems and dynamic constructible closure
Nbre de pages :
Documents : Article (PDF)
Abstract : Three notions of triangular systems are presented: D.M. Wang simple systems, squarefree normalized constructible triangular systems and a weaker version. The second forms a relevant algebraic model of the systems involved in the dynamic constructible closure programs of T. Gómez-Díaz. We give a new characterization of the simple systems within the algebraic framework developped in this model. The relathionships between these concepts are then studied: the algebraic model of a T. Gómez-Díaz system is a D.M. Wang simple system.