031550231
1992-12-10
2021-09-05T13:25:25
La Gestion de mémoire temps-réel des langages de programmation relationnelle / Olivier Ridoux, 1986 [thèse 3e cycle]
12274356
0000-0002-0170-0717
0000000381483827
Ridoux, Olivier (1959-....)
Ridoux
Olivier
Olivier Ridoux
1959
Titulaire d'un doctorat de 3e cycle en informatique (Rennes 1, 1986)
JFPLC'98 / septièmes Journées francophones de programmation logique et programmation par contraintes, 27-29 mai 1998, Nantes, France ; [organisées par l'École des mines de Nantes et l'Institut de recherche en informatique et systèmes aléatoires] ; coordonnateur, Olivier Ridoux / Paris : Hermès , 1998
Verification of a Concurrent Garbage Collector / Yannick Zakowski ; sous la direction de David Cachera et de David Pichardie / , 2017
Certification of static analysis in many-sorted first-order logic / Pierre-Emmanuel Cornilleau ; sous la direction de Thomas Jensen / , 2013
Verification of a Concurrent Garbage Collector / Yannick Zakowski le 2017 [ Rennes, École normale supérieure ]
Certification of static analysis in many-sorted first-order logic / Pierre-Emmanuel Cornilleau le 2013 [ Cachan, Ecole normale supérieure ]
Lambda-Prolog de A à Z... ou presque / Olivier Ridoux / [S.l.] : [s.n.] , 1998
Programming with MALI : unification or ordered types = = Programmer avec MALI : l'unification des types ordonnés / Olivier Ridoux / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , [1989]
Programming with MALI : the interpretation of Prolog programs / Louis Chevallier, Serge Le Huitouze, Olivier Ridoux / Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique , 1989
DETECTION DES LEISHMANIES INTRACELLULAIRES PAR CYTOMETRIE EN FLUX / OLIVIER RIDOUX ; SOUS LA DIR. DE PIERRE TIMON DAVID / [S.l.] : [s.n.] , 2000
GESTION DE MEMOIRE TEMPS-REEL DES LANGAGES DE PROGRAMMATION RELATIONNELLE / OLIVIER RIDOUX ; SOUS LA DIRECTION DE DANIEL HERMAN / [S.l.] : [s.n.] , 1986
Calculateurs, calculs, calculabilité / Olivier Ridoux,... Gilles Lesventes,... / Paris : Dunod , DL 2008
Gestion de memoire temps-reel des langages de programmation relationnelle / Olivier Ridoux le 1986 [ Rennes 1 ]
Logic file system : un système de fichier basé sur la logique / Yoann Padioleau ; [sous la direction d']Olivier Ridoux / Grenoble : Atelier national de reproduction des thèses , 2005
DeLLIS : débogage de programmes par localisation de fautes avec un système d’information logique / Peggy Cellier ; sous la direction de Mireille Ducassé / [S.l.] : [s.n.] , 2008
GEOLIS : un système d'information logique pour l'organisation et la recherche de données géolocalisées / Olivier Bedel ; [sous la dir. de] Olivier Ridoux / [S.l.] : [s.n.] , 2009
Systèmes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre / par Sébastien Ferré ; sous la direction de Olivier Ridoux / Grenoble : Atelier national de reproduction des thèses , 2002
Modélisation logique de l'analyse multidimensionnelle des relations multivaluées : application à l'exploration de données géographiques / Pierre Allard ; [sous la dir. de] Olivier Ridoux, Sébastien Ferré / [S.l.] : [s.n.] , 2011
Contribution au traitement syntaxico-pragmatique de la langue naturelle parlée : approche logique pour la compréhension de la parole / Jeanne Villaneau ; sous la dir. d'Olivier Ridoux / [S.l.] : [s.n.] , 2003
Systèmes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre / par Sébastien Ferré ; sous la direction de Olivier Ridoux / [Lieu de publication inconnu] : [Éditeur inconnu] , 2002
GEOLIS : un système d'information logique pour l'organisation et la recherche de données géolocalisées / Olivier Bedel ; [sous la direction de] Olivier Ridoux / Lille : Atelier national de reproduction des thèses , 2009
Modélisation logique de l'analyse multidimensionnelle des relations multivaluées : application à l'exploration de données géographiques / Pierre Allard ; [sous la direction de] Olivier Ridoux, Sébastien Ferré / Lille : Atelier national de reproduction des thèses , 2011
Logic file system : un système de fichier basé sur la logique / Yoann Padioleau ; [sous la dir. d']Olivier Ridoux / [S.l.] : [s.n.] , 2005
Contribution au traitement syntaxico-pragmatique de la langue naturelle parlée : approche logique pour la compréhension de la parole / Jeanne Villaneau ; sous la direction d'Olivier Ridoux / Grenoble : Atelier national de reproduction des thèses , 2003
DeLLIS : débogage de programmes par localisation de fautes avec un système d'information logique / Peggy Cellier ; sous la direction de Mireille Ducassé / Lille : Atelier national de reproduction des thèses , 2008
Modélisation logique de l'analyse multidimensionnelle des relations multivaluées : application à l'exploration de données géographiques / Pierre Allard le 2011 [ Rennes 1 ]
Geolis : un système d'information logique pour l'organisation et la recherche de données géolocalisées / Olivier Bedel le 2009 [ Rennes 1 ]
DeLLIS : débogage de programmes par localisation de fautes avec un système d’information logique / Peggy Cellier le 2008 [ Rennes 1 ]
Logic file system : un système de fichier basé sur la logique / Yoann Padioleau le 2005 [ Rennes 1 ]
Contribution au traitement syntaxico-pragmatique de la langue naturelle parlée : approche logique pour la compréhension de la parole / Jeanne Villaneau le 2003 [ Lorient ]
Systèmes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre / Sébastien Ferré le 2002 [ Rennes 1 ]
Contributions à la sémantique de la programmation logique / Mathieu Jaume ; Sous la direction de René Lalement / , 1999
Contributions à la sémantique de la programmation logique / Mathieu Jaume ; Sous la direction de René Lalement / Grenoble : Atelier national de reproduction des thèses , 1999
Contributions à la sémantique de la programmation logique / Mathieu Jaume ; Sous la direction de René Lalement / Villeurbanne : [CCSD] , 2004
Contributions à la sémantique de la programmation logique / Mathieu Jaume le 1999 [ Marne-la-vallée, ENPC ]