Reachability Analysis of Term Rewriting Systems with Timbuk.

Thomas Genet, Valrie Viet Triem Tong

Browse the full LPAR paper archive.