MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Olivier Ridoux – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 33 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Imagining CLP(Λ,≡αβ)  
  • by Olivier Ridoux — 1995
  • …Imagining CLP(,j fffi ) Olivier Ridoux IRISA, Campus Universitaire de Beaulieu, 35042 RENNES Cedex…
  • Add To MetaCart
  • Imagining  
  • by Clp Olivier Ridoux, Olivier Ridoux, Olivier Ridoux, Projet Lande
  • … AUTOMATIQUE Imagining CLP(,j fffi ) Olivier RIDOUX N 2388 Octobre 1994 PROGRAMME 2 Imagining CLP(,j fffi…
  • Add To MetaCart
  • Parametric Polymorphism for Typed Prolog and lambdaProlog  
  • by Pascale Louvet, Olivier Ridoux — 1996 — Proceedings of the 8th Symposium on Programming Language Implementations and Logic Programming, volume 1140 of LNCS
  • …Parametric Polymorphism for Typed Prolog and Prolog Pascale Louvet and Olivier Ridoux IRISA…
  • Add To MetaCart
  • Continuations in λProlog  
  • by Pascal Brisset, Olivier Ridoux — 1993 — 10th Int. Conf. Logic Programming
  • …@(email omitted); Olivier Ridoux IRISA Campus Universitaire de Beaulieu, F-35042 Rennes Cedex, France ridoux
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB