TY  - THES
DP  - http://www.theses.fr/2014AIXM4779
TI  - Puissance expressive des preuves circulaires
AU  - Fortier, Jerome
A3  - Santocanale, Luigi; Brlek, Srecko
PY  - 2014
N1  - Thèse de doctorat Informatique Aix-Marseille 2014
N1  - Thèse de doctorat Informatique Université du Québec à Montréal 2014
N1  - 2014AIXM4779
UR  - http://www.theses.fr/2014AIXM4779/document
ER  -