Automating the dependency pair method
From MaRDI portal
Publication:2486583
Recommendations
Cites work
- Approximations for strategies and termination
- Artificial Intelligence and Symbolic Computation
- Automated Reasoning
- Automatic termination proofs with transformation orderings
- Context-sensitive rewriting strategies
- Counterexamples to termination for the direct sum of term rewriting systems
- Hierarchical termination revisited.
- scientific article; zbMATH DE number 1614707 (Why is no real title available?)
- scientific article; zbMATH DE number 1615243 (Why is no real title available?)
- scientific article; zbMATH DE number 2043537 (Why is no real title available?)
- scientific article; zbMATH DE number 1765702 (Why is no real title available?)
- scientific article; zbMATH DE number 794237 (Why is no real title available?)
- Improving dependency pairs
- Modular and incremental proofs of AC-termination
- Modular termination proofs for rewriting using dependency pairs
- Rewriting Techniques and Applications
- Termination by completion
- Termination of term rewriting using dependency pairs
- Transformation techniques for context-sensitive rewrite systems
- Verification of Erlang processes by dependency pairs
Cited in
(39)- Match-bounds revisited
- Increasing interpretations
- Term orderings for non-reachability of (conditional) rewriting
- Pattern eliminating transformations
- Analyzing innermost runtime complexity of term rewriting by dependency pairs
- SAT solving for termination proofs with recursive path orders and dependency pairs
- Using context-sensitive rewriting for proving innermost termination of rewriting
- Dependency triples for improving termination analysis of logic programs with cut
- CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verifications of termination certificates
- Harnessing first order termination provers using higher order dependency pairs
- Certification of Termination Proofs Using CeTA
- Automatic generation of make dependencies
- Maximal Termination
- Root-Labeling
- Uncurrying for termination and complexity
- Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems
- Proving Termination of Integer Term Rewriting
- Real_Impl
- Proving termination by dependency pairs and inductive theorem proving
- Size-based termination of higher-order rewriting
- Termination Analysis by Dependency Pairs and Inductive Theorem Proving
- Beyond Dependency Graphs
- A dependency pair framework for innermost complexity analysis of term rewrite systems
- Termination Analysis of Logic Programs Based on Dependency Graphs
- Search Techniques for Rational Polynomial Orders
- Increasing Interpretations
- Monotonicity criteria for polynomial interpretations over the naturals
- Automating the dependency pair method.
- The Derivational Complexity Induced by the Dependency Pair Method
- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
- Lexicographic combination of reduction pairs
- Simulating dependency pairs by semantic labeling
- A dependency pair framework for relative termination of term rewriting
- KBO orientability
- Tyrolean termination tool: techniques and features
- Elimination transformations for associative-commutative rewriting systems
- Mechanizing and improving dependency pairs
- Matrix interpretations for proving termination of term rewriting
- Context-sensitive dependency pairs
This page was built for publication: Automating the dependency pair method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2486583)
