Ban3

Informations sur l'auteur

Gilles Dowek

http://pistou.imag.fr/site/author/4591

  
 

Publications de l'auteur

La liste contient 3 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer-reviewed conference proceedings [ACT]
2008
1
Pablo Arrighi, Gilles Dowek.
Linear-algebraic lambda-calculus: Higher-Order, Encodings, and Confluence.
Proceedings of RTA, Lecture Notes in Compter Science, :17, 2008.
bibtex/ html
2
Thierry Boy De La Tour, Mnacho Echenim, Paliath Narendran.
Alessandro Armando, Peter Baumgartner, Gilles Dowek.
Unification and Matching Modulo Leaf-Permutative Equational Presentations.
4th International Joint Conference, IJCAR 2008, :332-347, LNAI 5195, Sydney, Australia, aug 2008.
bibtex/ html
Scientific popularization [OV]
2011
3
J P Archambault, E Baccelli, S Boldo, Denis Bouhineau, P Cégielski, T Clausen, Gilles Dowek, I Guessarian, S Lopès, Laurent Mounier, B Nguyen, Franck Quessette, Anne Rasse, B Rozoy, C Timsit, T. Viéville, Jean-Marc Vincent.
Une introduction à la science informatique: Pour les enseignants de la discipline informatique au lycée.
CNDP-CRDP Eds, 2011.
Www-128x128
bibtex/ html