Term rewriting systems with sort priorities

DOI10.1080/00207169508804396zbMath0847.68056OpenAlexW2127025991MaRDI QIDQ4876348

Guoxin Song, Zhiqing Shao

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

term rewriting systemoperational semantics of recursive programs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Investigations in many-sorted quantor logic
• A rationale for conditional equational programming
• Term-rewriting systems with rule priorities

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