Kirchner, Claude

1 publications

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