Reachability is decidable for ground AC Rewrite systems
Résumé
Nous montrons que l'accessibilité est décidable pour les systèmes de réécriture clos modulo AC. Ce résultat s'interprète dans l'algèbre des processus.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098437
Soumis le : lundi 25 septembre 2006-17:01:21
Dernière modification le : vendredi 24 mars 2023-14:52:48