Publications

Pascal Molli, Manuel Munier, Gérôme Canals, François Charoy, Claude Godart. COO-serializability: A Correctness Criterion for Cooperative Executions. 1997.
Manuel Munier, Didier Galmiche
directeur
. Recherche de preuves en $AF_2$ par codage dans une logique d'ordre supérieur. Mémoire de DEA, 1994.
PDF Diapositives