×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
×
中国科学院数学与系统科学研究院期刊网
Electronic ISSN 1559-7067 Print ISSN 1009-6124
CN 11-4543/O1
Toggle navigation
JSSC
首页
期刊简介
编委会
投稿指南
期刊订阅
下载中心
新闻公告
联系我们
English
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS
LIU Jiang,XU Ming, ZHAN Naijun, ZHAO Hengjun
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS
LIU Jiang,XU Ming, ZHAN Naijun, ZHAO Hengjun
Journal of Systems Science and Complexity . 2014, (
6
): 1286 -1304 . DOI: 10.1007/s11424-014-2145-6