沃尔克·魏斯芬宁 普雷斯伯格算法中消除的复杂性和一致性。 （英文） Zbl 0915.03032号 Küchlin，Wolfgang W.（编辑），1997年符号和代数计算国际研讨会论文集，ISSAC’97，Maui，HI，USA，1997年7月21日至23日。纽约州纽约市：ACM出版社。48-53 (1997). 引用于10文件 MSC公司： 03C10号机组 量词消除、模型完整性和相关主题 2015年3月1日 计算复杂性（包括隐式计算复杂性） 30楼03号 一阶算法和片段 03B25号 理论和句子集的可决定性 65年第68季度 算法和问题复杂性分析 12升05 可判定性与场理论 关键词：普雷斯伯格算法;量词消除的复杂性;复杂度上下限 PDF格式BibTeX公司 XML格式引用 \textit{V.Weispfenning}，in：1997年符号和代数计算国际研讨会论文集，ISSAC’97，Maui，HI，USA，1997年7月21-23日。纽约州纽约市：ACM出版社。48-53（1997；Zbl 0915.03032）