Proving Termination in the Context-Sensitive Dependency Pair Framework
From MaRDI portal
Publication:4933276
DOI10.1007/978-3-642-16310-4_3zbMath1306.68072OpenAlexW1489887862MaRDI QIDQ4933276
Raúl Gutiérrez, Salvador Lucas
Publication date: 12 October 2010
Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_3
Related Items
mu-term: Verify Termination Properties Automatically (System Description), Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting, Twenty years of rewriting logic, Lazy productivity via termination, Proving Termination Properties with mu-term, Applications and extensions of context-sensitive rewriting
Uses Software