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

程序开发和分析的逻辑

批准号：

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)

会议论文