Catégorie Rapport Auteurs Thomas Genet Valerie Viet Triem Tong https://inria.hal.science/inria-00072321v1 doc ID 72321 Nom Reachability Analysis of Term Rewriting Systems with Timbuk Date de publication ven 28/03/2025 - 12:00