课题基金 / 基金详情

Topics in the Theory of Computation

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

项目摘要

项目成果

Dexter Kozen的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This research addresses problems that span several distinct but related areas of theoretical computer science: algorithms in programming languages (type inference and type checking for type systems with subtypes and recursive types, solving systems of set constraints), computational algebra (decomposition of algebraic functions, calculations of Newtonian graphs of algebraic functions), program logics and semantics (deductive systems for the propositional - calculus, typed Kleene algebra).
期刊论文(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
  • 负责人：
    李常品
  • 依托单位：
    上海大学