包封法及推理系统的可判定性
60373050
2003
F0201.计算机科学的基础理论
蒋颖
面上项目
研究员
中国科学院软件研究所
22万元
极小直觉主义形式推演系统;包封法;可判定性
2004-01-01到2006-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | LTL Model Checking via Search | 会议论文 | F..Pu, W.-H. Zhang |
| 2 | Enumerating inhabitants of a s | 期刊论文 | |
| 3 | An Improved Case-Based Approac | 专著 | F. Pu, W.-H. Zhangand S. Wang |
| 4 | Search Space Partition and Cas | 专著 | |
| 5 | 基于迁移的扩展Buchi自动机到Buc | 期刊论文 | 易锦，张文辉 |
| 6 | Structure of Proofs and the Co | 期刊论文 | W.-H. Zhang |
| 7 | Weakly Distributive Domains | 期刊论文 | |
| 8 | SAT-Based Verification of LTL | 会议论文 | W.-H. Zhang |
查看更多信息请先登录或注册
