目标规范相关论文
《民族区域自治法》是中国少数几部规定了“序言”的法律之一.作为法律文本的重要组成部分,《民族区域自治法》的“序言”规定了关......
本文在旭纳证明的规范变换方法的基础上,介绍从一般等式规范到有序类等工规范变换的实现技术,以及在有序类等式规范上的归纳定理的证......