Modular and incremental proofs of AC-termination

From MaRDI portal
Publication:2643544

DOI10.1016/j.jsc.2004.02.003zbMath1137.68419OpenAlexW2031515077MaRDI QIDQ2643544

Claude Marché, Xavier Urbain

Publication date: 24 August 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2004.02.003




Related Items (12)


Uses Software


Cites Work




This page was built for publication: Modular and incremental proofs of AC-termination