Semantics and strong sequentially of priority term rewriting systems

DOI10.1007/3-540-61464-8_66zbMath1503.68150OpenAlexW4252242530MaRDI QIDQ5055874

Yoshihito Toyama, Masahiko Sakai

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-61464-8_66

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Cites Work

• Sequentiality in orthogonal term rewriting systems
• Term-rewriting systems with rule priorities
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Priority rewriting: Semantics, confluence, and conditionals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item