中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
计算机科学国家重点实... [8]
软件所图书馆 [5]
软件工程技术研究开发... [1]
作者
Content Type
期刊论文 [10]
会议论文 [4]
Issued Date
Language
英语 [10]
Source
knowledge-... [4]
journal of... [3]
science in... [2]
3rd intern... [1]
proceeding... [1]
更多...
Project
Indexed
SCI [10]
EI [7]
CSCD,EI [1]
Spnsorship
acm sigpla... [1]
chinese ac... [1]
chinese ac... [1]
chinese ac... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 14)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
set-theoretic foundation of parametric polymorphism and subtyping
[会议论文]
16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11, Tokyo, Japan, September
Castagna Giuseppe
;
Xu Zhiwu
a novel cooperative computing model for grid
[会议论文]
3rd International Conference on Semantics, Knowledge, and Grid, SKG 2007, Xian, China, 40845
Liu Shaohua
;
Yu Junsheng
;
Ma Yinglong
;
Zuo Lin
;
Liu Qiang
;
Ding Ran
  |  
towards practical computable functions on context-free languages
[会议论文]
3rd International Conference on Theory and Applications of Models of Computation (TAMC 2006), Beijing, PEOPLES R CHINA, MAY 15-20,
Chen Haiming
;
Dong Yunmei
  |  
facilitating formal specification acquisition by using recursive functions on context-free languages
[期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM
;
Dong YM
  |  
facilitating formal specification acquisition by using recursive functions on context-free languages
[期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM
;
Dong YM
  |  
facilitating formal specification acquisition by using recursive functions on context-free languages
[期刊论文]
KNOWLEDGE-BASED SYSTEMS, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen HM
;
Dong YM
  |  
facilitating formal specification acquisition by using recursive functions on context-free languages
[期刊论文]
Knowledge-Based Systems, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen Haiming
;
Yunmei Dong
  |  
performance evaluation of allgather algorithms on terascale linux cluster with fast ethernet
[会议论文]
8th International Conference on High-Performance Computing in Asia-Pacific Region, HPC Asia 2005, Beijing, China, 40850
Chen Jing
;
Zhang Linbo
;
Zhang Yunquan
;
Yuan Wei
  |  
recursive functions of context free languages (ii) - validity of cfprf and cfrf definitions
[期刊论文]
SCIENCE IN CHINA SERIES F, 2002-01-01, 卷号: 45, 期号: 2, 页码: 81-102
Dong YM
  |  
recursive functions of context free languages (i) - the definitions of cfprf and cfrf
[期刊论文]
SCIENCE IN CHINA SERIES F, 2002-01-01, 卷号: 45, 期号: 1, 页码: 25-39
Dong YM
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace