Argument filtering transformation
From MaRDI portal
Recommendations
Cited in
(26)- Multi-dimensional interpretations for termination of term rewriting
- Tuple interpretations for termination of term rewriting
- Term orderings for non-reachability of (conditional) rewriting
- SAT solving for termination proofs with recursive path orders and dependency pairs
- Enhancing dependency pair method using strong computability in simply-typed term rewriting
- The size-change principle and dependency pairs for termination of term rewriting
- Modular and incremental automated termination proofs
- Modular and incremental proofs of AC-termination
- scientific article; zbMATH DE number 1614705 (Why is no real title available?)
- Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures
- Paramodulation with non-monotonic orderings and simplification
- Certifying a Termination Criterion Based on Graphs, without Graphs
- Argument filterings and usable rules for simply typed dependency pairs
- On proving termination of constrained term rewrite systems by eliminating edges from dependency graphs
- Polynomials over the reals in proofs of termination : from theory to practice
- Constraints for Argument Filterings
- Termination Analysis of Logic Programs Based on Dependency Graphs
- Wanda -- a higher-order termination tool (system description)
- Certifying the weighted path order (invited talk)
- A nesting-preserving transformation of SIMP programs into logically constrained term rewrite systems
- Relaxing monotonicity for innermost termination
- On proving \(C_E\)-termination of rewriting by size-change termination
- Mechanically proving termination using polynomial interpretations
- Mechanizing and improving dependency pairs
- Termination of narrowing via termination of rewriting
- Context-sensitive dependency pairs
This page was built for publication: Argument filtering transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494366)
