Résumé : Nous considérons une nouvelle classe d'interprétation des systèmes de réécriture. Nous montrons qu'elle bénéficie de bonne propriété intentionnelles.
https://hal.inria.fr/inria-00145060 Contributor : Guillaume BonfanteConnect in order to contact the contributor Submitted on : Monday, May 7, 2007 - 4:17:59 PM Last modification on : Saturday, October 16, 2021 - 11:26:05 AM Long-term archiving on: : Friday, September 21, 2012 - 2:40:52 PM