TY  - THES
DP  - 
		http://www.theses.fr/2000NAN10037
TI  - Calcul de réécriture : fondements et applications
AU  - Cirstea, Horatiu
A3  - Kirchner, Claude
PY  - 2000
SP  - 1 vol. (210 p.)
N1  - Thèse de doctorat Informatique Nancy 1 2000
N1  - 2000NAN10037
ER  -