四川大学学报(工程科学版)2009，Vol.41Issue(1)：129-133,5.
一类循环条件非线性的程序终止性
Termination of a Class of Nonlinear Loop Programs
摘要
关键词
非线性程序/终止性/程序验证/Jordan标准型分类
计算机与自动化引用本文复制引用
李骏,李轶,冯勇..一类循环条件非线性的程序终止性[J].四川大学学报(工程科学版),2009,41(1):129-133,5.基金项目
国家科委973资助项目(2004CB318003) （2004CB318003）
中国科学院知识创新重要方向资助项目 (KJCX2-YW-S02) （KJCX2-YW-S02）
国家自然科学基金资助项目(10771205) （10771205）
