Extension orderings

DOI10.1007/3-540-60084-1_101zbMath1412.68117OpenAlexW2912586246MaRDI QIDQ4645205

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

constructive proofequational theoryreduction orderingground termfunction symbol

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Simple termination of rewrite systems ⋮ Equational rules for rewriting logic

Cites Work

• Modular properties of conditional term rewriting systems
• Termination of rewriting
• Counterexamples to termination for the direct sum of term rewriting systems
• On termination of the direct sum of term-rewriting systems
• Modularity of simple termination of term rewriting systems with shared constructors
• Modular properties of composable term rewriting systems
• Total termination of term rewriting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Extension orderings