Linear interpretations by counting patterns

DOI10.1007/978-3-662-21551-7_31MaRDI QIDQ5055811zbMATH OpenOpenAlexFDO

Authors Ursula Martin Webb

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/978-3-662-21551-7_31

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Invariants, patterns and weights for ordering terms
• The order types of termination orderings on monadic terms, strings and multisets
• Topics in termination
• scientific article; zbMATH DE number 1241629
• Automating the Knuth Bendix ordering

Cites work

• A geometrical approach to multiset orderings
• Any ground associative-commutative theory has a finite canonical system
• Automating the Knuth Bendix ordering
• Extensions and comparison of simplification orderings
• scientific article; zbMATH DE number 3810909 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Ordering by Divisibility in Abstract Algebras
• Orderings for term-rewriting systems
• Simulation of Turing machines by a left-linear rewrite rule
• Termination of rewriting
• Termination of rewriting systems by polynomial interpretations and its implementation
• Termination of term rewriting by interpretation

Cited in

(3)

• Invariants, patterns and weights for ordering terms
• scientific article; zbMATH DE number 1241629 (Why is no real title available?)
• Theorem proving with group presentations: examples and questions

This page was built for publication: Linear interpretations by counting patterns

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