Claude Kirchner

CRIN-UNIVERSITE of NANCY I UER de Sciences Mathematiques Case Off . 140-54037 NANCY Cedex , FRANCE

1 paper in the IJCAI proceedings

IJCAI 1981

Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees

with Hélène Kirchner, Jean-Pierre Jouannaud

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings