Termination of Priority Rewriting

DOI10.1007/978-3-642-00982-2_33zbMath1234.68177OpenAlexW1486035470MaRDI QIDQ3618597

Isabelle Gnaedig

Publication date: 2 April 2009

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00982-2_33

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Term-rewriting systems with rule priorities
• Semantics and strong sequentiality of priority term rewriting systems
• Operational semantics of rewriting with priorities
• Termination of rewriting under strategies
• Specifying and Reasoning About Dynamic Access-Control Policies
• Proving innermost normalisation automatically
• Term Rewriting and All That
• Term Rewriting and Applications

This page was built for publication: Termination of Priority Rewriting