Broy，M。;多施，W。;H·帕奇。;胡椒，P。;Wirsing，M。 抽象数据类型中的存在量词。 （英语） Zbl 0404.68026号 《自动化、语言和编程》，第六届Colloq.出版社，格拉茨，1979年，莱克托。注释计算。科学。第71卷，第73-87页（1979年）。 页码：−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于13文件 MSC公司： 68第05页 数据结构 关键词：抽象数据类型中的存在量词 引文：Zbl 0401.00015号 PDF格式BibTeX公司 XML格式