@incollection{fdi:010008764,
  title = {{I}nduction and synthesis by simplification},
  author = {{B}engeloune, {I}.},
  editor = {},
  language = {{ENG}},
  abstract = {{L}es formules existentielles jouent un r{\^o}le important dans le domaine de la synth{\`e}se d{\'e}ductive de programmes. {N}ous pr{\'e}sentons une m{\'e}thode permettant la construction (automatique) de preuves de validit{\'e} de formules existentielles dans le mod{\`e}le initial d'un ensemble d'{\'e}quations. {C}ette m{\'e}thode est bas{\'e}e sur une notion de "cover set" et de syst{\`e}me de r{\'e}{\'e}criture ordonn{\'e}. {N}ous proposons {\'e}galement un algorithme de synth{\`e}se de d{\'e}finitions r{\'e}cursives de fonction de {S}kolem pour une formule existentielle {\`a} partir de sa preuve de validit{\'e}. ({R}{\'e}sum{\'e} d'auteur)},
  keywords = {{INDUCTION} ; {ALGORITHME} ; {SYNTHESE} ; {AUTOMATISATION} ; {INTELLIGENCE} {ARTIFICIELLE}},
  booktitle = {{CARI}'96 : actes du 3{\`e}me colloque africain sur la recherche en informatique = {CARI}'96 : proceedings of the 3rd {A}frican conference on research in computer science},
  numero = {},
  pages = {545--559},
  address = {{P}aris},
  publisher = {{ORSTOM}},
  series = {{C}olloques et {S}{\'e}minaires},
  year = {1996},
  ISBN = {2-7099-1333-{X}},
  ISSN = {0767-2896},
  URL = {https://www.documentation.ird.fr/hor/fdi:010008764},
}