Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs

DOI10.1007/978-3-540-74621-8_5MaRDI QIDQ3525002zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Using context-sensitive rewriting for proving innermost termination of rewriting
• Context-Sensitive Dependency Pairs
• Context-sensitive dependency pairs
• scientific article; zbMATH DE number 1948501
• Proving termination of context-sensitive rewriting with MU-TERM

Cited in

(10)

• Using context-sensitive rewriting for proving innermost termination of rewriting
• Proving termination of context-sensitive rewriting with MU-TERM
• Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
• Termination of rewriting with strategy annotations
• Proving termination properties with \textsc{mu-term}
• Usable Rules for Context-Sensitive Rewrite Systems
• Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
• scientific article; zbMATH DE number 1948501 (Why is no real title available?)
• Proving termination in the context-sensitive dependency pair framework
• Context-sensitive dependency pairs

Describes a project that uses

Uses Software

• AProVE
• MU-TERM

This page was built for publication: Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525002)