|
已选(0)清除
条数/页： 排序方式： |
| 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(2939Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2015/06/26 |
| 无权访问的条目 学位论文
作者: 包义保
Adobe PDF(10570Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/06/27 |
| 无权访问的条目 学位论文
作者: 陈博文
Adobe PDF(2566Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2011/06/07 |
| 无权访问的条目 学位论文
作者: 曾依灵
Adobe PDF(1579Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2011/03/28 |
| 无权访问的条目 学位论文
作者: 张桂娟
Adobe PDF(5742Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/12/21 |
| 无权访问的条目 学位论文
作者: LiTaotao
Adobe PDF(2953Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/06/28 |
| 无权访问的条目 学位论文
作者: 李志清
Adobe PDF(4639Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/02/03 |
| 无权访问的条目 学位论文
作者: 李远宁
Adobe PDF(8261Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2011/01/18 |
