机构

• 软件研究所 [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   |  收藏  |  浏览/下载：19/0  |  提交时间：2022/06/21 L(3)-valued (three-valued) first-order logic  sequent  quantifier  soundness theorem  completeness theorem   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   |  收藏  |  浏览/下载：20/0  |  提交时间：2019/04/02 Comprehensive Grobner basis  comprehensive Grobner system  discovering geometric theorems mechanically  parametric polynomial system  quantifier elimination   Quantifier elimination by cylindrical algebraic decomposition based on regular chains 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93 作者:  Chen, Changbo;  Maza, Marc Moreno   |  收藏  |  浏览/下载：22/0  |  提交时间：2018/03/15 Quantifier elimination  Cylindrical algebraic decomposition  Regular chains  Triangular decomposition   Symbolic termination analysis of solvable loops 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49 Xu, Ming; Li, Zhi-Bin   |  收藏  |  浏览/下载：30/0  |  提交时间：2014/12/16 Program verification  Termination analysis  Polynomial loops  Symbolic computation  Quantifier elimination  Real root bounds   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   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/06/29 program verification  invariant generation  polynomial programs  semi-algebraic systems  quantifier elimination  DISCOVERER  QEPCAD   eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/07/13 minimal logic  system F  sequent calculus  positive quantifier  bound variable  decidability   eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/13 minimal logic  system F  sequent calculus  positive quantifier  bound variable  decidability   eigenvariables, bracketing and the decidability of positive minimal predicate logic 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 360, 期号: 1-3, 页码: 193-208 Dowek Gilles; Jiang Ying   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/07/13 minimal logic  system F  sequent calculus  positive quantifier  bound variable  decidability