1999-03-13T23:59:59Z
2022-01-20T04:24:18Z
Méthodes d'unification par surréduction
1988
1988-01-01
Introduction. Définitions générales. La surréduction normalisante. La surréduction normalisante basique de gauche à droite. Étude de la minimalité des solutions générées par surréduction. Une approche transformationnelle de la surréduction basique simplifiante. Approche algébrique de la surréduction. Conclusion
Réécriture, Systèmes de (informatique)
Systèmes informatiques
Sciences appliquées
Informatique, automatique théorique, systèmes
Langage formel
Réécriture
Réduction
Unification
Équation
Déductibilité
Formal language
Rewriting
Reduction
Unification
Equation
Deductibility
Réty, Pierre
Kirchner, Claude
Nancy 1
Université Henri Poincaré Nancy 1. Faculté des sciences et techniques