Priority rewriting: Semantics, confluence, and conditionals

DOI10.1007/3-540-51081-8_114zbMath1503.68139OpenAlexW1559211365MaRDI QIDQ5055727

Chilukuri K. Mohan

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_114

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items

Semantics and strong sequentially of priority term rewriting systems ⋮ Semantics and expressiveness of ordered SOS ⋮ Semantics and strong sequentiality of priority term rewriting systems ⋮ Operational semantics of rewriting with priorities

Cites Work

• Conditional rewrite rules
• Conditional rewrite rules: Confluence and termination
• The algebraic specification of abstract data types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Priority rewriting: Semantics, confluence, and conditionals