Proving Termination of Context-Sensitive Rewriting with MU-TERM (2007)

Cached

Download Links

by Beatriz Alarcón , Raúl Gutiérrez , José Iborra , Salvador Lucas
Citations:15 - 13 self