已选(0)清除
条数/页: 排序方式: |
| Variant quantifiers in L-3-valued first-order logic 期刊论文 FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 5, 页码: 9 作者: Li, Wei; Sui, Yuefei 收藏  |  浏览/下载:21/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 收藏  |  浏览/下载:43/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 |