Changes between Version 55 and Version 56 of WikiStart


Ignore:
Timestamp:
Jun 17, 2015, 2:25:03 PM (3 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v55 v56  
    5656=== 2015 === 
    5757 
     58* Loulergue Frédéric, Wadoud Bousdira, and Julien Tesson.  Calculating Parallel Programs in Coq using List Homomorphisms. In ''International Journal of Parallel Programming'', 2015, to appear 
    5859* Loulergue Frédéric, Wadoud Bousdira, and Julien Tesson. Calcul de programmes parallèles avec Coq. In Nicolas Ollinger, editor, École des Jeunes Chercheurs en Informatique Mathématique, collection Alpha. CNRS Éditions, 2015 
    5960