TY  - THES
DP  - http://www.theses.fr/2012GRENM005
TI  - Algèbres de Kleene, réécriture modulo AC et circuits en coq
AU  - Braibant, Thomas
A3  - Stefani, Jean-Bernard; Pous, Damien
PY  - 2012
N1  - Thèse de doctorat Informatique Grenoble 2012
N1  - 2012GRENM005
UR  - http://www.theses.fr/2012GRENM005/document
ER  -