Term rewriting systems with sort priorities

DOI10.1080/00207169508804396zbMATH Open0847.68056OpenAlexW2127025991MaRDI QIDQ4876348FDOQ4876348

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

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

zbMATH Keywords

term rewriting systemoperational semantics of recursive programs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• A rationale for conditional equational programming
• Title not available (Why is that?)
• Term-rewriting systems with rule priorities
• Investigations in many-sorted quantor logic

Cited In (7)

• Termination of Priority Rewriting
• Currying of order-sorted term rewriting systems
• Priority rewriting: Semantics, confluence, and conditionals
• Generating priority rewrite systems for OSOS process languages
• Semantics and strong sequentially of priority term rewriting systems
• Semantics and strong sequentiality of priority term rewriting systems
• Title not available (Why is that?)

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)