摘要
Basu，S.关于实闭域上量词消除的新结果以及约束数据库的应用。 《美国医学会杂志》46，4（1999），537-555。 谷歌学者 
数字图书馆 
Basu，S.、Pollack，R.和Roy，M.-F.关于量词消除的组合和代数复杂性。 J.ACM 43，6（1996），1002-1045。 谷歌学者 数字图书馆 博蒙特，J.、布拉德福德，R.、达文波特，J.和菲桑布特，N.坚持比相邻要好。 在ISSAC 2005（2005）的会议记录中，M.Kauers，Ed.，第37-44页。 谷歌学者 数字图书馆 Brown，C.W.保证溶液配方结构。 程序中。 符号和代数计算国际研讨会（1999年），第137-144页。 谷歌学者 数字图书馆 Brown，C.W.简单CAD构造及其应用。 符号计算杂志31，5（2001年5月），521--547。 谷歌学者 数字图书馆 Davenport，J.H.和Heintz，J.实际量词消除是双指数的。 符号计算杂志5（1988），29-35。 谷歌学者 数字图书馆 Dolzmann，A.、Seidl，A.和Sturm，T.CAD的高效投影顺序。 2004年符号和代数计算国际研讨会（ISSAC 2004）（西班牙桑坦德，2004年7月），J.Gutierrez，Ed.，ACM。 谷歌学者 数字图书馆 Dolzmann，A.和Sturm，T.Redlog：计算机代数与计算机逻辑相结合。 ACM SIGSAM公告31,2（1997年6月），2--9。 谷歌学者 数字图书馆 Dolzmann，A.、Sturm，T.和Weispfenning，V.在实际几何中自动证明定理的新方法。 《自动推理杂志》21，3（1998），357--380。 谷歌学者 数字图书馆 代数闭域中的可定义性和快速量词消去。 理论计算机科学24（1983），239--277。 谷歌学者 交叉引用 
Hong，H.实存在理论的几种决策算法的比较。 技术代表91-41，符号计算研究所（RISC-Linz），1991年。 谷歌学者 Hong，H.基于量词消除的柱面代数分解中的简单解公式构造。 程序中。 符号和代数计算国际研讨会（1992年），第177-188页。 谷歌学者 数字图书馆 Ibarra，O.H.和Leininger，B.S.直线程序等价问题的复杂性。 《STOC’80：第十二届ACM计算理论研讨会论文集》（美国纽约州纽约市，1980年），ACM出版社，第273-280页。 谷歌学者 数字图书馆 Kaltofen，E.直线程序给出的多项式的最大公约数。 美国医学会期刊35，1（1988），231--264。 谷歌学者 数字图书馆 Lazard，D.和Rouillier，F.求解参数多项式系统。 技术代表，INRIA，2004年10月。 谷歌学者 Renegar，J.关于实一阶理论的计算复杂性和几何，第一部分至第三部分《符号计算杂志》13（1992），255-352。 谷歌学者 数字图书馆 Risler，J.-J.实多项式的加法复杂性和零点。 SIAM J.计算。 14, 1 (1985), 178--183. 谷歌学者 交叉引用 Rojas，J.M.数域和p-adic域上多项式的加法复杂性和根。 在ANTS（2002）中，第506--516页。 谷歌学者 数字图书馆 Seidl，A.和Sturm，T.部分柱面代数分解的通用投影算子。 程序中。 符号和代数计算国际研讨会（2003），R.Sendra，Ed.，pp.240-247。 谷歌学者 数字图书馆 Sturm，T.《几何中的实量词消除》。 数学与计算机科学系博士论文。 德国帕绍大学，D-94030帕绍，德国，1999年12月。 谷歌学者 魏斯芬宁，V.领域线性问题的复杂性。 J.塞姆。 计算。 5，1-2（1988），3-27。 谷歌学者 数字图书馆
建议
树深度、量词消除和量词等级 LICS’18：第33届ACM/IEEE计算机科学逻辑年会论文集 对于有限图的K类，我们考虑以下三个语句。 （i） K具有有界树深度。 （ii）一阶逻辑FO在K上有一个有效的广义量词消去。。。 代数复杂性理论中的一些完全多项式和中间多项式 CSR 2016：第11届国际计算机科学研讨会论文集——理论与应用——第9691卷 我们提供了一个新的自然$$\mathsf{VNP}$$-中间多项式族的列表，基于基本组合$$\mathsf{NP}$$-在简约约简下完成的完全问题。 在有限域上，这些族位于$$\mathsf{。。。
