Kirchner, Hélène

2 publications

IJCAI 1983 Church-Rosser Properties of Weakly Terminating Term Rewriting Systems Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy

IJCAI 1981 Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud