Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
From MaRDI portal
Publication:3525002
DOI10.1007/978-3-540-74621-8_5zbMath1148.68463OpenAlexW1593859098MaRDI QIDQ3525002
Beatriz Alarcón, Salvador Lucas
Publication date: 16 September 2008
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74621-8_5
Related Items (4)
Usable Rules for Context-Sensitive Rewrite Systems ⋮ Context-sensitive dependency pairs ⋮ Proving Termination Properties with mu-term ⋮ Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting
Uses Software
This page was built for publication: Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
