Improving Context-Sensitive Dependency Pairs

DOI10.1007/978-3-540-89439-1_44MaRDI QIDQ5505586zbMATH OpenOpenAlexFDO

Authors Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_44

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Context-sensitive dependency pairs
• Improving the context-sensitive dependency graph
• Context-Sensitive Dependency Pairs
• Proving termination in the context-sensitive dependency pair framework
• Usable Rules for Context-Sensitive Rewrite Systems

Cited in

(13)

• Context-sensitive dependency pairs
• Proving termination in the context-sensitive dependency pair framework
• Mechanizing and improving dependency pairs
• Lazy productivity via termination
• Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting
• Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
• From Outermost to Context-Sensitive Rewriting
• Usable Rules for Context-Sensitive Rewrite Systems
• Context-Sensitive Dependency Pairs
• mu-term: Verify Termination Properties Automatically (System Description)
• Applications and extensions of context-sensitive rewriting
• Improving the context-sensitive dependency graph
• Characterizing and proving operational termination of deterministic conditional term rewriting systems

This page was built for publication: Improving Context-Sensitive Dependency Pairs

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