Term rewriting systems with sort priorities

DOI10.1080/00207169508804396MaRDI QIDQ4876348zbMATH OpenOpenAlexFDO

Authors Zhiqing Shao, Guoxin Song

Publication date 1 May 1996

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207169508804396

zbMATH Keywords

operational semantics of recursive programsterm rewriting system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4074466
• Termination of Priority Rewriting
• Operational semantics of rewriting with priorities
• Semantics and strong sequentially of priority term rewriting systems

Cites work

• A rationale for conditional equational programming
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 44976 (Why is no real title available?)
• Investigations in many-sorted quantor logic
• Term-rewriting systems with rule priorities

Cited in

(9)

• Generating priority rewrite systems for OSOS process languages
• Semantics and strong sequentiality of priority term rewriting systems
• Operational semantics of rewriting with priorities
• Termination of Priority Rewriting
• scientific article; zbMATH DE number 176122 (Why is no real title available?)
• Priority rewriting: Semantics, confluence, and conditionals
• Semantics and strong sequentially of priority term rewriting systems
• Currying of order-sorted term rewriting systems
• Comparison of priority rules in pattern matching and term rewriting

This page was built for publication: Term rewriting systems with sort priorities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4876348)