索加塔省巴苏 关于实闭域上量词消除的新结果以及约束数据库的应用。 （英语） Zbl 1065.03507号 美国临床医学杂志 46，第4期，537-555（1999）. 引用于21文件 MSC公司： 03C10号机组 量词消除、模型完整性和相关主题 03B25号 理论和句子集的可决定性 2015年12月 与平方和相关的字段（形式上为实数字段、毕达哥拉斯字段等） 第68页，共15页 数据库理论 65年第68季度 算法和问题复杂性分析 68瓦30 符号计算和代数计算 引文：Zbl 0902.68047号；Zbl 0885.68070号；Zbl 0763.68043号；Zbl 0763.68042号；Zbl 0798.68073号；Zbl 0767.03017号 PDF格式BibTeX公司 XML格式引用 \textit{S.Basu}，J.ACM 46，第4号，537--555（1999；Zbl 1065.03507） 全文： 内政部