Olivier Oudot  Olivier Oudot photo       

contact information

PhD - Master Inventor - IT Specialist
Sophia-Antipolis, Nice, France
  +33dash4dash92dash96dash61dash52

links



1987

Utilisation des modes directionnels dans la resolution
Oudot, Olivier
1987 - tel.archives-ouvertes.fr
Abstract


1985

STARLOG: une nouvelle interpretation des clauses de Horn.
Olivier Oudot
SPLT'85, Seminaire Programmation en Logique, 29-31 mai 1985