olivier pons

Documents

Identifiants chercheurs

Présentation

"loic-pottier"

	Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs Yves Bertot , Olivier Pons , Loïc Pottier RR-4052, INRIA. 2000 Rapport inria-00072585v1