中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Content Type
期刊论文 [4]
Issued Date
2016 [1]
Language
Project
Spnsorship
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
A Model for Phase Transition of Random Answer-Set Programs [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016-01-01, 卷号: 17, 期号: 3
Wen, L; Wang, KW; Shen, YD; Lin, FZ
  |  
 
robust vacuity for branching temporal logic [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012-01-01, 卷号: 13, 期号: 1, 页码: -
Gurfinkel Arie; Chechik Marsha

 
an algebra of quantum processes [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009-01-01, 卷号: 10, 期号: 3, 页码: -
Ying Mingsheng; Feng Yuan; Duan Runyao; Ji Zhengfeng
  |  
 
reasoning with recursive loops under the plp framework [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008-01-01, 卷号: 9, 期号: 4, 页码: -
Shen Yi-Dong
  |  
 

1

 
Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace