Rapport de recherche n° 2000-16

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.


Retour à la liste des rapports