Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
From MaRDI portal
Publication:3525002
DOI10.1007/978-3-540-74621-8_5zbMath1148.68463MaRDI 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
68Q42: Grammars and rewriting systems
Related Items
Context-sensitive dependency pairs, Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting, Proving Termination Properties with mu-term, Usable Rules for Context-Sensitive Rewrite Systems
Uses Software