切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
归纳证明的规范变换实现
归纳证明的规范变换实现
来源 :浙江师大学报:自然科学版 | 被引量 : 0次 | 上传用户:aspl12315
【摘 要】
:
本文在旭纳证明的规范变换方法的基础上,介绍从一般等式规范到有序类等工规范变换的实现技术,以及在有序类等式规范上的归纳定理的证明技术。
【作 者】
:
钟发荣
金健舟
【机 构】
:
计算机系
【出 处】
:
浙江师大学报:自然科学版
【发表日期】
:
1997年4期
【关键词】
:
归纳证明
规范变换
目标规范
order-sorted equational specification
proof by induction
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在旭纳证明的规范变换方法的基础上,介绍从一般等式规范到有序类等工规范变换的实现技术,以及在有序类等式规范上的归纳定理的证明技术。
其他文献
对1994年轮胎行业主要工作的浅见
对1994年轮胎行业主要工作的浅见李美霞(中联橡胶总公司100723)1993年对我国轮胎工业来说是不平静的一年,各方面的形势发展快、变化快,全行业经受了较大的考验。总的说是取得了令人鼓舞、值得庆
期刊
轮胎工业
橡胶工业
On Hegel’s Interpretation of the Conflict in Antigone
期刊
半潜式重载船在受损舰船援救中的应用
该文对半潜式重载船在失事舰船救援方面应用进行了探讨,介绍了半潜式重载船救援受损船的适用条件、人员组织,管理细节以及安全保障要求等,分析了国外在操作中的具体方法和成
期刊
半潜式重载船
海上救援
semi-submersible heavy laden ship
rescue at sea
基于Multigen—Paradigm Creator的数字船舶舱内场景漫游建模方法的研究
探索Multigen—paradigm Creator的建模原理与方法、优化其数据库的方法及与Vega衔接使用实现动态漫游的过程。通过对Multigen—Paradigm Creator在数字机舱建模过程中运用方
期刊
实景
节点
CREATOR
漫游
数据库
realistic view
node
creator
roaming
database
超音速等离子喷涂Fe基非晶工艺与涂层特点
本文采用自主研发的高效能超音速等离子喷涂系统(HEPJet)制备了Fe基非晶合金涂层,以非晶含量为评价指标,通过正交法优化了喷涂工艺参数.采用扫描电子显微镜(SEM)、X-射线衍射
期刊
铁基非晶涂层
超音速等离子喷涂
非晶含量
涂层性能
水稻浸种还是烯效唑好
1998年10月的一个大礼拜,我回老家调查烯效唑在晚稻上采用三浸三露方法浸种的增产情况。我首先来到种田面积较多的细保老哥家。一进他家的门,还没等我说明来意,他就乐开了:“好哇,烯效唑
期刊
烯效唑
水稻浸种
秧田期
种子发芽
农技推广
技术环节
对比试验
成活率
金秋时节
良好形象
无内胎轮胎气门嘴的现状与发展趋势
无内胎轮胎气门嘴的现状与发展趋势邵琦(中国化工装备总公司北京天地密封器材发展公司100011)无内胎轮胎气门嘴实质上是一只结构复杂的单向气密封阀,起充气、密封、保压、卸压作用。有
期刊
轮胎
气门嘴
无内胎轮胎
集装箱船球首型线几何要素优化探讨
作者根据球首长度、球首高度和球首横剖面面积,构造了7种集装箱船球首模型,应用CFD方法分别计算得到在设计航速下的兴波平均能量同球首几何要素的关系,为型线优化设计提供了
期刊
集装箱船
设计航速
型线
CFD方法
长度
计提
信息
模型
面积
计算
<keyword>ntainer ship
bulbous bow
w
妇女对在被拐卖期间所生子女有抚养权吗?
罗老师 :三年前我外出打工时 ,被人拐卖到一个偏远的小山村里 ,买主是位姓王的村民 ,他强行与我结为了夫妻。最近 ,我在一次打拐行动中被公安机关解救出来了。但是 ,我在王某
期刊
抚养权
未成年子女
非法同居
《婚姻法》
法律规定
所生
江西省兴国县
最高人民法院
离婚案件
子女抚养
婺源酒糟鱼
期刊
婺源
旅游商品市场
加工经验
深度加工
新英
鸳鸯湖
寿庆
资源优势
沿海城市
家庭式
与本文相关的学术论文