Extension orderings

DOI10.1007/3-540-60084-1_101MaRDI QIDQ4645205zbMATH OpenOpenAlexFDO

Authors Albert Rubio

Publication date 10 January 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60084-1_101

zbMATH Keywords

equational theoryconstructive proofreduction orderingground termfunction symbol

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Extensions and comparison of simplification orderings
• A termination ordering for higher order rewrite systems
• Extending reduction orderings to ACU-compatible reduction orderings
• Maximal extensions of simplification orderings
• Path orderings for termination of associative-commutative rewriting

Cites work

• scientific article; zbMATH DE number 4180808 (Why is no real title available?)
• scientific article; zbMATH DE number 3930339 (Why is no real title available?)
• scientific article; zbMATH DE number 1300971 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1479616 (Why is no real title available?)
• scientific article; zbMATH DE number 194506 (Why is no real title available?)
• Counterexamples to termination for the direct sum of term rewriting systems
• Modular properties of composable term rewriting systems
• Modular properties of conditional term rewriting systems
• Modularity of simple termination of term rewriting systems with shared constructors
• On termination of the direct sum of term-rewriting systems
• Termination of rewriting
• Total termination of term rewriting

Cited in

(6)

• Signature extensions preserve termination. An alternative proof via dependency pairs
• Simple termination of rewrite systems
• More on the order of prolongations and restrictions
• Extension functions for multiset orderings
• scientific article; zbMATH DE number 1419646 (Why is no real title available?)
• Equational rules for rewriting logic

This page was built for publication: Extension orderings

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