中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共2条，第1-2条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Detection of Ranking Functions of Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 11, 页码: 3243-3258
作者:  Li, Yi;  Feng, Yong
收藏  |  浏览/下载：117/0  |  提交时间：2020/02/18
有界闭连通域上的非线性循环终止性分析 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:  李轶;  冯勇
Adobe PDF(378Kb)  |  收藏  |  浏览/下载：83/0  |  提交时间：2018/03/16