Generalized Recursion Theory
Generalized Recursion Theory
批准号:
8002763
负责人:
Phokion Kolaitis
金额:
$1.65万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1980
资助国家:
美国
项目状态:
已结题
起止时间:
1980-07-01 至 1982-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
NSF-BSF: III: Small: Collaborative Research: Databases Meet Computational Social Choice
-
批准号:1814152
-
项目类别:Standard Grant
-
资助金额:$26.52万
-
财政年份:2018
-
负责人:Phokion Kolaitis
-
依托单位:
III: Small: Aspects of Integrating Heterogeneous and Inconsistent Data
-
批准号:1217869
-
项目类别:Continuing Grant
-
资助金额:$48.1万
-
财政年份:2012
-
负责人:Phokion Kolaitis
-
依托单位:
III: Medium: Data Interoperability via Schema Mappings
-
批准号:0905276
-
项目类别:Standard Grant
-
资助金额:$115.15万
-
财政年份:2009
-
负责人:Phokion Kolaitis
-
依托单位:
Metadata Model Management: Schema Mappings and Data Exchange
-
批准号:0430994
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Phokion Kolaitis
-
依托单位:
Educational Innovation: Collaborative Proposal: Integrating Logic into the Computer Science Curriculum
-
批准号:0086241
-
项目类别:Standard Grant
-
资助金额:$6.04万
-
财政年份:2000
-
负责人:Phokion Kolaitis
-
依托单位:
Collaborative Research: Constraint Satisfaction, Database Query Evaluation, and Information Integration
-
批准号:9907419
-
项目类别:Continuing Grant
-
资助金额:$18.84万
-
财政年份:2000
-
负责人:Phokion Kolaitis
-
依托单位:
Automated Deduction and Computational Complexity
-
批准号:9732041
-
项目类别:Continuing Grant
-
资助金额:$18.0万
-
财政年份:1998
-
负责人:Phokion Kolaitis
-
依托单位:
Aspects of Computation Theory and Logic
-
批准号:9610257
-
项目类别:Standard Grant
-
资助金额:$24.9万
-
财政年份:1997
-
负责人:Phokion Kolaitis
-
依托单位:
Aspects of Computation Theory
-
批准号:9307758
-
项目类别:Continuing Grant
-
资助金额:$15.48万
-
财政年份:1994
-
负责人:Phokion Kolaitis
-
依托单位:
U.S.-Finland Cooperative Research in Finite Model Theory (Computer Science)
-
批准号:9024681
-
项目类别:Standard Grant
-
资助金额:$1.78万
-
财政年份:1991
-
负责人:Phokion Kolaitis
-
依托单位:
Aspects of Computation Theory
-
批准号:9108631
-
项目类别:Standard Grant
-
资助金额:$11.8万
-
财政年份:1991
-
负责人:Phokion Kolaitis
-
依托单位:
Aspects of Computation Theory
-
批准号:8905038
-
项目类别:Standard Grant
-
资助金额:$8.77万
-
财政年份:1989
-
负责人:Phokion Kolaitis
-
依托单位:
Mathematical Sciences: Uniform Definability and 0-1 Laws on Finite Structures
-
批准号:8896255
-
项目类别:Standard Grant
-
资助金额:$1.66万
-
财政年份:1988
-
负责人:Phokion Kolaitis
-
依托单位:
Mathematical Sciences: Uniform Definability and 0-1 Laws on Finite Structures
-
批准号:8601988
-
项目类别:Standard Grant
-
资助金额:$1.34万
-
财政年份:1986
-
负责人:Phokion Kolaitis
-
依托单位:
海外基金