TY  - THES
DP  - 
		http://www.theses.fr/2001PA120042
TI  - Analyse statique de la terminaison des règles actives basée sur la notion de chemin maximal
AU  - Couchot, Alain
A3  - Slissenko, Anatol
PY  - 2001
SP  - 177 p.
N1  - Thèse de doctorat Informatique Paris 12 2001
N1  - 2001PA120042
ER  -