课题基金 / 基金详情

Logics Capturing Complexity Classes: Problems and and Applications

Logics Capturing Complexity Classes: Problems and and Applications
捕获复杂性类的逻辑：问题和应用
批准号：
8605358
负责人：
Kevin Compton
金额：
$4.21万
依托单位：
Regents of the University of Michigan - Ann Arbor
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1986
资助国家：
美国
项目状态：
已结题
起止时间：
1986-07-01 至 1989-06-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8605358&HistoricalAwards=false
关键词：
LogicsCapturingComplexityClassesProblems

项目摘要

项目成果

Kevin Compton的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Foundational Issues in Computer Science
Computational Problems in Finite Model Theory and Combinatorics (Computer Research)
Computational Problems in Finite Model Theory and Combinatorics (Computer Research)
  • 批准号：
    8404233
  • 项目类别：
    Standard Grant
  • 资助金额：
    $0.0万
  • 财政年份：
    1984
  • 负责人：
    Kevin Compton
  • 依托单位：
    Wesleyan University
Computational Complexity of Asymptotic Probabilities
  • 批准号：
    8105211
  • 项目类别：
    Standard Grant
  • 资助金额：
    $0.0万
  • 财政年份：
    1981
  • 负责人：
    Kevin Compton
  • 依托单位：
    Wesleyan University
海外基金