Semantics and strong sequentiality of priority term rewriting systems

DOI10.1016/S0304-3975(98)00080-2zbMath0912.68101MaRDI QIDQ1275017

Yoshihito Toyama, Masahiko Sakai

Publication date: 12 January 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

operational semanticsterm rewriting systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (2)

Termination of Priority Rewriting ⋮ Generating priority rewrite systems for OSOS process languages

Cites Work

• Sequentiality in orthogonal term rewriting systems
• Term-rewriting systems with rule priorities
• Operational semantics of rewriting with priorities
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Priority rewriting: Semantics, confluence, and conditionals
• Tree-Manipulating Systems and Church-Rosser Theorems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics and strong sequentiality of priority term rewriting systems