Jouannaud, Jean-Pierre

4 publications

IJCAI 1983 Church-Rosser Properties of Weakly Terminating Term Rewriting Systems Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy

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

IJCAI 1979 Characterization of a Class of Functions Synthesized from Examples by a SUMMERS like Method Using a "B.M.W." Matching Technique Jean-Pierre Jouannaud, Yves Kodratoff

IJCAI 1977 SISP/1: An Interactive System Able to Synthesize Functions from Examples Jean-Pierre Jouannaud, Gérard D. Guiho, Jean-Pierre Treuil