×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院重庆绿色智能技术研究院机构知识库
KMS Chongqing Institute of Green and Intelligent Technology, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
高性能计算应用研究中... [1]
作者
刘江 [2]
文献类型
会议论文 [2]
发表日期
2015 [2]
语种
英语 [2]
出处
11th Confe... [1]
20th Inter... [1]
资助项目
收录类别
EI [2]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
(本次检索基于用户作品认领结果)
浏览/检索结果:
共2条,第1-2条
帮助
限定条件
文献类型:会议论文
发表日期:2015
作者:刘江
第一作者
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
WOS被引频次升序
WOS被引频次降序
题名升序
题名降序
期刊影响因子升序
期刊影响因子降序
作者升序
作者降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Nonexistence of minimal pairs in L[d]
会议论文
11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29, 2015 - July 3, 2015
作者:
Fang, Chengling
;
Liu, Jiang
;
Wu, Guohua
;
Yamaleev, Mars M.
Adobe PDF(182Kb)
  |  
收藏
  |  
浏览/下载:81/0
  |  
提交时间:2018/03/16
Abstraction of elementary hybrid systems by variable transformation
会议论文
20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, June 24, 2015 - June 26, 2015
作者:
Liu, Jiang
;
Zhan, Naijun
;
Zhao, Hengjun
;
Zou, Liang
Adobe PDF(512Kb)
  |  
收藏
  |  
浏览/下载:60/0
  |  
提交时间:2018/03/16