Termination of rewriting systems by polynomial interpretations and its implementation
From MaRDI portal
DOI10.1016/0167-6423(87)90030-XzbMATH Open0625.68036MaRDI QIDQ579930FDOQ579930
Authors: Ahlem Ben Cherifa, Pierre Lescanne 
Publication date: 1987
Published in: Science of Computer Programming (Search for Journal in Brave)
Recommendations
- Termination of rewrite systems by elementary interpretations
- Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm
- Termination of rewriting
- Generating polynomial orderings
- Termination of term rewriting by interpretation
Symbolic computation and algebraic computation (68W30) Theory of software (68N99) Theory of computing (68Q99)
Cited In (57)
- Analyzing Innermost Runtime Complexity Through Tuple Interpretations
- Polynomial termination over \(\mathbb{N}\) is undecidable
- Improving associative path orderings
- Total termination of term rewriting
- Total termination of term rewriting
- Cancellative Abelian monoids and related structures in refutational theorem proving. I
- Termination proofs and the length of derivations
- A fully syntactic AC-RPO.
- Chain properties of rule closures
- Open problems in rewriting
- Completion for rewriting modulo a congruence
- Automatic Termination
- Invariants, patterns and weights for ordering terms
- The order types of termination orderings on monadic terms, strings and multisets
- Any ground associative-commutative theory has a finite canonical system
- A term rewriting characterization of the functions computable in polynomial space
- Conditional narrowing modulo a set of equations
- Schematization of infinite sets of rewrite rules generated by divergent completion processes
- A path ordering for proving termination of AC rewrite systems
- Generating polynomial orderings for termination proofs
- Polynomials over the reals in proofs of termination : from theory to practice
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting
- Proving termination by dependency pairs and inductive theorem proving
- A complete superposition calculus for primal grammars
- Size-based termination of higher-order rewriting
- More problems in rewriting
- Mechanically proving termination using polynomial interpretations
- Proving termination of (conditional) rewrite systems. A semantic approach
- SAT solving for termination proofs with recursive path orders and dependency pairs
- AC-KBO revisited
- Polynomial interpretations for higher-order rewriting
- Termination of term rewriting using dependency pairs
- Generating polynomial orderings
- Termination of constructor systems
- Automating the Knuth Bendix ordering
- Termination by completion
- Weights for total division orderings on strings
- REVE
- Linear interpretations by counting patterns
- Termination of term rewriting by interpretation
- Termination Modulo Combinations of Equational Theories
- AC-termination of rewrite systems: a modified Knuth-Bendix ordering
- Automated deduction with associative-commutative operators
- Outermost ground termination
- Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm
- Path orderings for termination of associative-commutative rewriting
- Modular and incremental proofs of AC-termination
- Incremental termination proofs and the length of derivations
- Topics in termination
- A precedence-based total AC-compatible ordering
- Extension of the associative path ordering to a chain of associative commutative symbols
- Termination of rewrite systems by elementary interpretations
- Automatic proofs of termination with elementary interpretations
- Termination of string rewriting proved automatically
- A total AC-compatible ordering based on RPO
- Natural termination
- AC completion with termination tools
This page was built for publication: Termination of rewriting systems by polynomial interpretations and its implementation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q579930)
