摘要
本文在归纳证明的规范变换方法的基础上.介绍从一般等式规范到有序类等式规范变换的实现技术.以及在有序类等式规范上的归纳定理的证明技术。
In this paper the authors introduced the implemental techniques of transformation equational specification into order-sorted equational specification, the proof techniques of inductive theorems on the order-sorted equational specification based on specification transformation for proof by induction.
出处
《浙江师大学报(自然科学版)》
1997年第4期45-49,共5页
Journal of Zhejiang Normal University(Natoral Sciences)
关键词
归纳证明
规范变换
目标规范
order-sorted equational specification
proof by induction