Jean-Pierre Jouannaud

4 papers in the IJCAI proceedings

IJCAI 1983

Church-Rosser Properties of Weakly Terminating Term Rewriting Systems

with Hélène Kirchner, 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, Hélène Kirchner

Details PDF

IJCAI 1979

Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique

with Yves Kodratoff

Details PDF

IJCAI 1977

SISP/1: An Interactive System Able to Synthesize Functions from Examples

with Gérard D. Guiho, Jean-Pierre Treuil

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings