Dependency Pairs for Rewriting with Non-free Constructors

DOI10.1007/978-3-540-73595-3_32MaRDI QIDQ3608787zbMATH OpenOpenAlexFDO

Authors Stephan Falke, Deepak Kapur

Publication date 6 March 2009

Published in Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73595-3_32

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1722701
• Rewriting Techniques and Applications
• Termination of term rewriting using dependency pairs
• Modular termination proofs for rewriting using dependency pairs
• Termination by absence of infinite chains of dependency pairs

Cited in

(8)

• Proving confluence in the confluence framework with confident
• Higher order dependency pairs for algebraic functional systems
• Operational termination of conditional rewriting with built-in numbers and semantic data structures
• A static higher-order dependency pair framework
• Enhancing dependency pair method using strong computability in simply-typed term rewriting
• Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures
• Dynamic dependency pairs for algebraic functional systems
• scientific article; zbMATH DE number 1722701 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maude
• Tyrolean
• AProVE

This page was built for publication: Dependency Pairs for Rewriting with Non-free Constructors

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