Termination of ELAN strategies by simplification - HAL-Inria

0 downloads 0 Views 924KB Size Report
Oct 19, 2006 - s t ra t eg y t er m and ga t hering t he involved se t of rules, t he re w rit ing s y s t e m CA on T ( USU .... for j > 1 ; t his is w h y t er m ina t ion of S 1,..., S n is j us t a su ffi cien t condit ion for S t o t er m ina ...... Bernhard G ramlich.
Termination of ELAN strategies by simplification Extended version Olivier Fissore, Isabelle Gnaedig, H´el`ene Kirchner

To cite this version: Olivier Fissore, Isabelle Gnaedig, H´el`ene Kirchner. Termination of ELAN strategies by simplification - Extended version -. [Intern report] A03-R-360 —— fissore03b, 2003, 47 p.

HAL Id: inria-00107743 https://hal.inria.fr/inria-00107743 Submitted on 19 Oct 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destin´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es.

        "!$#% &(' *),+-  ./ 0132 4 5(576/. 0 8:9=?;