Improving dependency pairs
From MaRDI portal
Publication:3408137
zbMATH Open1273.68320MaRDI QIDQ3408137FDOQ3408137
Authors: Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke 
Publication date: 24 February 2010
Recommendations
Cited In (24)
- Match-bounds revisited
- On proving \(C_E\)-termination of rewriting by size-change termination
- Relaxing monotonicity for innermost termination
- Title not available (Why is that?)
- Context-Sensitive Dependency Pairs
- Enhancing dependency pair method using strong computability in simply-typed term rewriting
- Automating the dependency pair method
- Dependent pairs
- Proving weak properties of rewriting
- Termination Analysis by Dependency Pairs and Inductive Theorem Proving
- Frontiers of Combining Systems
- Automating the dependency pair method.
- Logic for Programming, Artificial Intelligence, and Reasoning
- Proving termination by dependency pairs and inductive theorem proving
- Termination of Narrowing Using Dependency Pairs
- Elimination transformations for associative-commutative rewriting systems
- The derivational complexity induced by the dependency pair method
- Modular termination proofs for rewriting using dependency pairs
- Improving the context-sensitive dependency graph
- Mechanizing and improving dependency pairs
- Tyrolean termination tool: techniques and features
- The size-change principle and dependency pairs for termination of term rewriting
- Rewriting Techniques and Applications
- On proving termination of constrained term rewrite systems by eliminating edges from dependency graphs
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)
