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
Contributeur : Guillaume Bonfante
<>
Soumis le : lundi 7 mai 2007 - 16:17:59
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : vendredi 21 septembre 2012 - 14:40:52
