摘要
本文简要介绍有序类代数的基本概念，研究有序类等式演绎，并且给出了有序类代数上进行基于规则的项重写的操作语义．
The author have summarized shortly the basic notions about order-sorted algebras in this paper,and studied order-sorted equational deduction,presented the term rewriting rule-based operational semantics for order-sorted algebra.
出处
《浙江师大学报（自然科学版）》
1996年第3期58-64,共7页
Journal of Zhejiang Normal University(Natoral Sciences)
