Proving Termination of Context-Sensitive Rewriting with MU-TERM

From MaRDI portal
Publication:2867963

DOI10.1016/J.ENTCS.2007.05.041zbMath1278.68113OpenAlexW2141699417MaRDI QIDQ2867963

Raúl Gutiérrez, Salvador Lucas, Beatriz Alarcón, José Iborra

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.041




Related Items (10)


Uses Software



Cites Work




This page was built for publication: Proving Termination of Context-Sensitive Rewriting with MU-TERM