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.
Richard Mayr, Michaël Rusinowitch. Reachability is decidable for ground AC Rewrite systems. INFINITY '98, 3rd International Workshop on Verification of Infinite State Systems, 1998, Aalborg, Denmark, 12 p. ⟨inria-00098437⟩