 | Jouannaud, J. P. |
 |
 | Jouannaud, J. P. (J. P. Jouannaud and Y. Kodratoff) -- Characterization of a class of functions synthesized by a Summers-like method using a B.M.W. matching technique - 1979 |
| Jouannaud, J. P. (J. P. Jouannaud and Y. Kodratoff) -- An automatic construction of LISP programs by transformations of functions synthesized from their input-output behavior - 1980 |
| Jouannaud, J. P. (J. P. Jouannaud and G. Guiho) -- Inference of functions with an interactive system - 1979 |
| Jouannaud, J. P. (J. P. Jouannaud and T. P. Treuil) -- SISP/1, an interactive system able to synthesize functions from examples - 1977 |
|
