关于循环终止性证明的一种最小不动点方法期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

关于循环终止性证明的一种最小不动点方法

引用本文：	宋炜.关于循环终止性证明的一种最小不动点方法[J].江西工业大学学报,1991,13(1):40-45.

作者姓名：	宋炜

摘要：
关键词：	程序设计循环终止法最小不动点
本文献已被维普等数据库收录！