|
已选(0)清除
条数/页： 排序方式： |
| 无权访问的条目 学位论文
作者: 王科峰
 Adobe PDF(2014Kb) |  收藏 | 浏览/下载：0/0 | 提交时间：2017/06/28 |
| The M-computations induced by accessibility relations in nonstandard models M of Hoare logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725
作者: Cao, Cungen; Sui, Yuefei; Zhang, Zaiyue
收藏 | 浏览/下载：43/0 | 提交时间：2019/12/13
Hoare logic recursive function computable function nonstandard model of Peano arithmetic |
| Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者: Xu, Zhaowei; Sui, Yuefei; Zhang, Wenhui
收藏 | 浏览/下载：44/0 | 提交时间：2019/12/13
Hoare logic Peano arithmetic The standard model Computation Arithmetical definability Logical completeness |
| 无权访问的条目 学位论文
作者: 孙梅莹
Adobe PDF(724Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/01 |
| 无权访问的条目 学位论文
作者: 段勃
Adobe PDF(2486Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/09/04 |
| 无权访问的条目 学位论文
作者: 陈皓
Adobe PDF(2611Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/06/24 |
| 无权访问的条目 学位论文
作者: 衷璐洁
Adobe PDF(2683Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/02 |
| 无权访问的条目 学位论文
作者: 王文迪
Adobe PDF(16183Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/06/27 |
| 无权访问的条目 学位论文
作者: 包义保
Adobe PDF(10570Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/06/27 |
| 无权访问的条目 学位论文
作者: 杨智
Adobe PDF(1333Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/06/19 |
