TY  - THES
DP  - 
		http://www.theses.fr/2004PA077145
TI  - Substitutions explicites, logiques et normalisation
AU  - Polonovski, Emmanuel
A3  - Curien, Pierre-Louis
PY  - 2004
SP  - 1 vol., [257] p.
N1  - Thèse de doctorat Informatique Paris 7 2004
N1  - 2004PA077145
ER  -