TY  - THES
DP  - http://www.theses.fr/2013PA132040
TI  - Logique linéaire et classes de complexité sous-polynominales
AU  - Aubert, Clément
A3  - Guerrini, Stefano
PY  - 2013
SP  - 1 vol. (159 p.)
N1  - Thèse de doctorat Informatique Paris 13 2013
N1  - 2013PA132040
UR  - http://www.theses.fr/2013PA132040/document
ER  -