Articles de cet auteur
Aug 10
(English) Abella online tutorial
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 02
(English) Two papers accepted at LICS 2015
Désolé, cet article est seulement disponible en Anglais Américain.
Apr 02
(English) Ulysse Gérard joins the team for an M2 internship
Désolé, cet article est seulement disponible en Anglais Américain.
May 16
(English) Yuting Wang and Mary Southern start their internships
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 31
(English) Four papers accepted to CSL-LICS 2014
Désolé, cet article est seulement disponible en Anglais Américain.
Mar 07
(English) Discussion of Descriptive Complexity Theory in relation to Proof Theory (RGFP)
Désolé, cet article est seulement disponible en Anglais Américain.
Jul 21
(English) Abella 2.0.0 released
Désolé, cet article est seulement disponible en Anglais Américain.
Jun 24
(English) Elaine Pimentel and Carlos Olarte visiting until 16 July
Désolé, cet article est seulement disponible en Anglais Américain.