课题基金 / 基金详情

Topics in the Theory of Computation

Topics in the Theory of Computation
计算理论专题
批准号：
8806096
负责人：
Dexter Kozen
金额：
$13.45万
依托单位：
Cornell University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1988
资助国家：
美国
项目状态：
已结题
起止时间：
1988-07-01 至 1992-12-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8806096&HistoricalAwards=false
关键词：
TopicsTheoryComputation

项目摘要

项目成果

Dexter Kozen的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This research project spans several distinct but related areas of theoretical computer science. Under investigation are topics in complexity theory, logics of programs and program semantics. Complexity theory topics to be investigated include algorithms for chordal graphs and polynomial decomposition. Finite basis theorems, the propositional mu-calculus and the duality of powerdomains and predicates will be investigated as part of the research program in logics and semantics of programs.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Semantics of Higher Order Probabilistic Programs
  • 批准号：
    2008083
  • 项目类别：
    Standard Grant
  • 资助金额：
    $42.5万
  • 财政年份：
    2020
  • 负责人：
    Dexter Kozen
  • 依托单位：
    Cornell University
Specialized Logics for Applications in Computer Science
  • 批准号：
    0635028
  • 项目类别：
    Standard Grant
  • 资助金额：
    $25.0万
  • 财政年份：
    2006
  • 负责人：
    Dexter Kozen
  • 依托单位：
    Cornell University
Kleene Algebra
  • 批准号：
    0105586
  • 项目类别：
    Standard Grant
  • 资助金额：
    $21.0万
  • 财政年份：
    2001
  • 负责人：
    Dexter Kozen
  • 依托单位：
    Cornell University
Formal Methods for Software Certification
  • 批准号：
    9708915
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $29.1万
  • 财政年份：
    1997
  • 负责人：
    Dexter Kozen
  • 依托单位：
    Cornell University
国内基金
海外基金
Research on Quantum Field Theory without a Lagrangian Description
  • 批准号：
    24ZR1403900
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    SATOSHI NAWATA
  • 依托单位：
    复旦大学
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号：
    12247163
  • 项目类别：
    专项项目
  • 资助金额：
    18.00万元
  • 批准年份：
    2022
  • 负责人：
    黄栋
  • 依托单位：
    苏州大学
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号：
    --
  • 项目类别：
    --
  • 资助金额：
    55万元
  • 批准年份：
    2022
  • 负责人：
    Thomas Pahtz
  • 依托单位：
    浙江大学
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
  • 批准号：
    12126512
  • 项目类别：
    数学天元基金项目
  • 资助金额：
    12.0万元
  • 批准年份：
    2021
  • 负责人：
    李常品
  • 依托单位：
    上海大学