机构

• 软件研究所 [5]
• 计算技术研究所 [1]
• 数学与系统科学研究院 [1]
• 重庆绿色智能技术研究... [1]

采集方式

• OAI收割 [8]

内容类型

• 期刊论文 [7]
• 会议论文 [1]

发表日期

• 2021 [1]
• 2019 [1]
• 2016 [1]
• 2013 [1]
• 2007 [1]
• 2006 [3]
• 更多

学科主题

• Computer S... [3]
• Theory & M... [3]

筛选

浏览/检索结果: 共8条，第1-8条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Variant quantifiers in L-3-valued first-order logic 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 5, 页码: 9 作者:  Li, Wei;  Sui, Yuefei   |  收藏  |   A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases 期刊论文  OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255 作者:  Lu Dong;  Sun Yao;  Wang Dingkang   |  收藏  |   Quantifier elimination by cylindrical algebraic decomposition based on regular chains 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93 作者:  Chen, Changbo;  Maza, Marc Moreno   |  收藏  |   Symbolic termination analysis of solvable loops 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49 Xu, Ming; Li, Zhi-Bin   |  收藏  |   generating polynomial invariants with discoverer and qepcad 会议论文  OAI收割 Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25, Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun   |  收藏  |   eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying   |  收藏  |   eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying   |  收藏  |   eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying   |  收藏  |