Improving dependency pairs
From MaRDI portal
Recommendations
Cited in
(25)- Match-bounds revisited
- Modular termination proofs for rewriting using dependency pairs
- Termination of term rewriting using dependency pairs
- Enhancing dependency pair method using strong computability in simply-typed term rewriting
- Automating the dependency pair method
- The size-change principle and dependency pairs for termination of term rewriting
- Improving the context-sensitive dependency graph
- Dependent pairs
- Proving termination by dependency pairs and inductive theorem proving
- scientific article; zbMATH DE number 1765702 (Why is no real title available?)
- Termination Analysis by Dependency Pairs and Inductive Theorem Proving
- On proving termination of constrained term rewrite systems by eliminating edges from dependency graphs
- Context-Sensitive Dependency Pairs
- Frontiers of Combining Systems
- Termination of Narrowing Using Dependency Pairs
- Proving weak properties of rewriting
- Logic for Programming, Artificial Intelligence, and Reasoning
- The derivational complexity induced by the dependency pair method
- Automating the dependency pair method.
- Rewriting Techniques and Applications
- Relaxing monotonicity for innermost termination
- On proving \(C_E\)-termination of rewriting by size-change termination
- Tyrolean termination tool: techniques and features
- Elimination transformations for associative-commutative rewriting systems
- Mechanizing and improving dependency pairs
This page was built for publication: Improving dependency pairs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3408137)
