程序开发和分析的逻辑-猫眼课题宝

程序开发和分析的逻辑

批准号：

8706851

负责人：

Catherine Wagner

金额：

$0.0万

依托单位：

Cornell University

依托单位国家：

美国

项目类别：

Standard Grant

财政年份：

1987

资助国家：

美国

项目状态：

已结题

起止时间：

1987-10-01 至 1989-03-31

来源：

https://www.nsf.gov/awardsearch/showAward?AWD_ID=8706851&HistoricalAwards=false

关键词：

Logics Program Development Analysis

项目摘要

项目成果

Catherine Wagner的其他基金

相似基金

相关文献

中文摘要

翻译

这是一项研究计划拨款。国际和平研究所正在为程序开发和分析准备一份关于逻辑的提案。该研究所已经在数理逻辑方面取得了研究成果，并有望在理论计算机科学方面取得令人感兴趣的成果。

英文摘要

This is a research planning grant. The PI is preparing a proposal on logics for program development and analysis. The PI has produced research results in mathematical logic and is expected to be successful in producing results of interest in theoretical computer science.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文