scientific article; zbMATH DE number 3905845
From MaRDI portal
Publication:3683533
Recommendations
Cited in
(34)- Termination orderings for associative-commutative rewriting systems
- On recursive path ordering
- Termination of rewriting
- Path of subterms ordering and recursive decomposition ordering revisited
- Termination proofs by multiset path orderings imply primitive recursive derivation lengths
- Simplification orderings: Putting them to the test
- Proving termination of (conditional) rewrite systems. A semantic approach
- Practical algorithms for deciding path ordering constraint satisfaction.
- A path ordering for proving termination of AC rewrite systems
- An improved general path order
- scientific article; zbMATH DE number 1614707 (Why is no real title available?)
- Maximal extensions of simplification orderings
- scientific article; zbMATH DE number 3870584 (Why is no real title available?)
- Proving Termination Using Recursive Path Orders and SAT Solving
- scientific article; zbMATH DE number 3926235 (Why is no real title available?)
- scientific article; zbMATH DE number 4007716 (Why is no real title available?)
- scientific article; zbMATH DE number 176122 (Why is no real title available?)
- scientific article; zbMATH DE number 408817 (Why is no real title available?)
- scientific article; zbMATH DE number 1318515 (Why is no real title available?)
- scientific article; zbMATH DE number 794239 (Why is no real title available?)
- scientific article; zbMATH DE number 1405624 (Why is no real title available?)
- Extensions and comparison of simplification orderings
- Time bounded rewrite systems and termination proofs by generalized embedding
- Topics in termination
- Automatic termination proofs with transformation orderings
- Termination proofs by multiset path orderings imply primitive recursive derivation lengths
- Optimization of rewriting and complexity of rewriting
- Graph path orderings
- Rewriting Techniques and Applications
- Improving associative path orderings
- On the complexity of recursive path orderings
- Inferring RPO symbol orderings
- Leanest quasi-orderings
- On the recursive decomposition ordering with lexicographical status and other related orderings
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3683533)
