Extensions and comparison of simplification orderings

DOI10.1007/3-540-51081-8_124MaRDI QIDQ5055737zbMATH OpenOpenAlexFDO

Authors Joachim Steinbach

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-51081-8_124

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Simplification orderings: Putting them to the test
• scientific article; zbMATH DE number 862680
• scientific article; zbMATH DE number 3930339
• scientific article; zbMATH DE number 3905845
• Termination orderings for associative-commutative rewriting systems

Cites work

• scientific article; zbMATH DE number 3870584 (Why is no real title available?)
• scientific article; zbMATH DE number 3905845 (Why is no real title available?)
• scientific article; zbMATH DE number 3930339 (Why is no real title available?)
• scientific article; zbMATH DE number 4041334 (Why is no real title available?)
• scientific article; zbMATH DE number 4060699 (Why is no real title available?)
• scientific article; zbMATH DE number 4092747 (Why is no real title available?)
• scientific article; zbMATH DE number 794239 (Why is no real title available?)
• Orderings for term-rewriting systems
• Path of subterms ordering and recursive decomposition ordering revisited
• Verifying nilpotence

Cited in

(29)

• On the recursive decomposition ordering with lexicographical status and other related orderings
• On the complexity of recursive path orderings
• Improving associative path orderings
• On the modularity of termination of term rewriting systems
• Total termination of term rewriting
• Termination proofs by multiset path orderings imply primitive recursive derivation lengths
• Path of subterms ordering and recursive decomposition ordering revisited
• Ordered chaining for total orderings
• Extending reduction orderings to ACU-compatible reduction orderings
• Leanest quasi-orderings
• scientific article; zbMATH DE number 3921961 (Why is no real title available?)
• Simplification orderings: Putting them to the test
• Term Rewriting and Applications
• Termination proofs by multiset path orderings imply primitive recursive derivation lengths
• Linear interpretations by counting patterns
• Combinations of simplifying conditional term rewriting systems
• Termination of term rewriting by interpretation
• AC-termination of rewrite systems: a modified Knuth-Bendix ordering
• More on the order of prolongations and restrictions
• Extension orderings
• Automated Reasoning
• Time bounded rewrite systems and termination proofs by generalized embedding
• Incremental termination proofs and the length of derivations
• scientific article; zbMATH DE number 794239 (Why is no real title available?)
• scientific article; zbMATH DE number 3860380 (Why is no real title available?)
• scientific article; zbMATH DE number 3926235 (Why is no real title available?)
• Pattern-matching algorithms based on term rewrite systems
• Maximal extensions of simplification orderings
• A comparison of refinement orderings and their associated simulation rules

This page was built for publication: Extensions and comparison of simplification orderings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055737)