位置：成果数据库 > 期刊 > 期刊详情页
一类带初始输入的线性循环终止性分析
  • ISSN号：1009-3087
  • 期刊名称：四川大学学报(工程科学版)
  • 时间：2014.9.12
  • 页码：81-87
  • 相关项目：几类While循环终止性分析的理论、方法及其应用
作者： 李轶|李传璨|吴文渊|
同期刊论文项目
几类While循环终止性分析的理论、方法及其应用
期刊论文 5 会议论文 2
同项目期刊论文
线性循环程序的终止性判定
有界闭连通域上的非线性循环终止性分析
有界闭域上的线性赋值循环终止性分析
多分支单变量循环程序的终止性分析