Accéder directement au contenu

Marc Aiguier

1
Documents
Identifiants chercheurs

Publications

"catherine-dubois"

Axioms for Rewriting Theory

M. Aiguier , D. Bahrami , Catherine Dubois
PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, Jan 2000, X, France
Communication dans un congrès hal-01124623v1