Reachability is decidable for ground AC Rewrite systems
Abstract
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.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00098437
Submitted on : Monday, September 25, 2006-5:01:21 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM