乔治·柯林斯。 通过柱面代数分解消除量词——二十年的进步。 （英语） Zbl 0900.03053号 Caviness，Bob F.（编辑）等人，量词消除和柱面代数分解。研讨会记录，奥地利林茨，1993年10月6日至8日。维恩：施普林格。符号计算中的文本和专著。8-23 (1998). 有关整个系列，请参见[Zbl 0906.03033号]. 引用于2评论引用于33文件 MSC公司： 03C10号机组 量词消除、模型完整性和相关主题 68瓦30 符号计算和代数计算 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） PDF格式BibTeX公司 XML格式引用 \textit{G.E.Collins}，in：量词消除和柱面代数分解。研讨会记录，奥地利林茨，1993年10月6-8日。维恩：施普林格。8-23（1998年；兹bl 0900.03053）