Hélène Kirchner

2 papers in the IJCAI proceedings

IJCAI 1983

Church-Rosser Properties of Weakly Terminating Term Rewriting Systems

with Jean-Pierre Jouannaud, Jean-Luc Rémy

Details PDF

IJCAI 1981

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

with Claude Kirchner, Jean-Pierre Jouannaud

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings