中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In