陈志忠 最大路径集的并行构造及其在短超弦中的应用。 (英语) Zbl 0877.68075号 西奥。计算。科学。 160,第1-2、1-21号(1996年).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Z.-Z.Chen},Theor(西奥)。计算。科学。160,编号1--2,1--21(1996;Zbl 0877.68075) 全文: 内政部
戴维·诺曼(David A.Naumann)。 谓词变换器和高阶程序。 (英语) Zbl 0874.68024号 西奥。计算。科学。 150,第1期,111-159(1995).MSC公司:68号01 68N99型 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann},Theor。计算。科学。150,编号1,111-159(1995年;Zbl 0874.68024) 全文: 内政部