samedi 16 mai 2009, par Patrick Baillot
Toutes les versions de cet article : [English] [français]
PCC 2009 : 8th workshop Proof, Computation and Complexity
http://pcc.loria.fr/
2-3 Jullet 2009, Nancy