TY  - THES
DP  - 
		http://www.theses.fr/2003EVRY0001
TI  - Une axiomatisation de la réécriture abstraite
AU  - Bahrami, Diane
A3  - Bernot, Gilles
PY  - 2003
SP  - 1 vol. (165 p.)
N1  - Thèse de doctorat Informatique Evry-Val d'Essonne 2003
N1  - 2003EVRY0001
ER  -