Claude Kirchner

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