Philippe Devienne

Les graphes orientés pondérés : un outil pour l'étude de la terminaison et de la complexité dans les systèmes de réécritures et en programmation logique

Philippe Devienne, P. Devienne, 1987 .

Transformations de programmes logiques et sémantique opérationnelle

Philippe Devienne, Anne Parrain, 1994 .