|
已选(0)清除
条数/页： 排序方式： |
| Variant quantifiers in L-3-valued first-order logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 5, 页码: 9
作者: Li, Wei; Sui, Yuefei
  收藏 | 浏览/下载：17/0 | 提交时间：2022/06/21
L(3)-valued (three-valued) first-order logic sequent quantifier soundness theorem completeness theorem |
| 无权访问的条目 学位论文
作者: 王瑞敏
Adobe PDF(5142Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2017/06/21 |
| 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
收藏 | 浏览/下载：39/0 | 提交时间：2019/12/13
Hoare logic recursive function computable function nonstandard model of Peano arithmetic |
| 无权访问的条目 学位论文
作者: 孙梅莹
Adobe PDF(724Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/01 |
| 无权访问的条目 学位论文
作者: 包义保
Adobe PDF(10570Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/06/27 |
| 无权访问的条目 学位论文
作者: 杨来
Adobe PDF(3324Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/06/27 |
| 无权访问的条目 学位论文
作者: 陈博文
Adobe PDF(2566Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2011/06/07 |
