机构

• 计算技术研究所 [10]
• 数学与系统科学研究院 [7]
• 武汉物理与数学研究所 [6]
• 软件研究所 [5]
• 金属研究所 [4]
• 理论物理研究所 [3]
• 更多

采集方式

• OAI收割 [41]

内容类型

• 期刊论文 [40]
• 学位论文 [1]

发表日期

• 2021 [2]
• 2018 [1]
• 2017 [2]
• 2016 [4]
• 2015 [1]
• 2014 [2]
• 更多

学科主题

• Physics [3]
• Computer S... [1]

筛选

浏览/检索结果: 共41条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Variant quantifiers in L-3-valued first-order logic 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 5, 页码: 9 作者:  Li, Wei;  Sui, Yuefei   |  收藏  |  浏览/下载：19/0  |  提交时间：2022/06/21 L(3)-valued (three-valued) first-order logic  sequent  quantifier  soundness theorem  completeness theorem   Kernels of conditional determinantal measures and the Lyons-Peres completeness conjecture 期刊论文  OAI收割 JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY, 2021, 卷号: 23, 期号: 5, 页码: 1477-1519 作者:  Bufetov, Alexander, I;  Qiu, Yanqi;  Shamov, Alexander   |  收藏  |  浏览/下载：23/0  |  提交时间：2021/10/26 Determinantal point processes  Lyons-Peres completeness conjecture  conditional measures  tail triviality  measure-valued martingales  operator-valued martingales   Decomposition for a new kind of imprecise information system 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2018, 卷号: 12, 期号: 2, 页码: 376-395 作者:  Deng, Shaobo;  Guan, Sujie;  Li, Min;  Wang, Lei;  Sui, Yuefei   |  收藏  |  浏览/下载：30/0  |  提交时间：2019/12/10 imprecise information systems  decomposition  composition  soundness and completeness   Contrary description logic: Gentzen deduction system 期刊论文  OAI收割 SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11, 页码: 9 作者:  Li, Wei;  Sui, Yuefei;  Luo, Jie;  Chen, Bo   |  收藏  |  浏览/下载：19/0  |  提交时间：2019/12/10 description logics  contradictory  contrary  soundness  completeness   The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic) 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2017, 卷号: 11, 期号: 5, 页码: 887-894 作者:  Li, Wei;  Sui, Yuefei   |  收藏  |  浏览/下载：28/0  |  提交时间：2019/12/12 the Belnap logic  modality  the soundness  the completeness   Completeness of Hoare logic with inputs over the standard model 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28 作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui   |  收藏  |  浏览/下载：23/0  |  提交时间：2019/12/13 Hoare logic  Peano arithmetic  The standard model  Computation  Arithmetical definability  Logical completeness   TESTING THE BIASES IN THE RICH CENOZOIC ANGIOSPERM MACROFOSSIL RECORD 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF PLANT SCIENCES, 2016, 卷号: 177, 期号: 4, 页码: 371-388 作者:  Su, Tao 收藏  |  浏览/下载：38/0  |  提交时间：2016/06/06 angiosperm fossil record  fossil database  taphonomic bias  temporal bias  fossil quality  fossil completeness   Completeness of Hoare logic with inputs over the standard model 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28 Xu, ZW; Sui, YF; Zhang, WH   |  收藏  |  浏览/下载：29/0  |  提交时间：2016/12/13 Hoare logic  Peano arithmetic  The standard model  Computation  Arithmetical definability  Logical completeness   Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega 期刊论文  OAI收割 JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2016, 卷号: 82, 期号: 8, 页码: 1283-1299 Barmpalias, G; Fang, N; Lewis-Pye, A   |  收藏  |  浏览/下载：22/0  |  提交时间：2016/12/09 Halting probability  Oracle use  Oracles  Optimal  Asymptotic  Kolmogorov  Completeness  Computability  Complexity   The B-4-valued propositional Belnap-Dunn logic 期刊论文  OAI收割 JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 卷号: 28, 期号: 6, 页码: 2705-2713 作者:  Cao Cungen;  Chen Bo;  Sul Yuefei   |  收藏  |  浏览/下载：17/0  |  提交时间：2019/12/13 The Belnap-Dunn logic  unary connective  the soundness  the completeness