托比亚斯·尼普科 《伊莎贝尔》中的等式推理。 (英语) Zbl 0683.68081号 科学。计算。程序。 12,第2期,123-149(1989). 审核人:R.吉卢塞克 MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow},科学。计算。程序。12,No.2,123--149(1989;Zbl 0683.68081) 全文: 内政部
Kruseman Aretz,F.E.J。 Earley解析算法的一种新方法。 (英语) Zbl 0681.68101号 科学。计算。程序。 12,第2号,105-121(1989). 审核人:M.Gheorghe先生 MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{F.E.J.Kruseman Aretz},科学。计算。程序。12,编号2105-121(1989;Zbl 0681.68101) 全文: 内政部
R.S.伯德。;吉本斯,J。;琼斯,G。 模式匹配算法的形式化推导。 (英语) Zbl 0679.68011号 科学。计算。程序。 12,第2期,93-104(1989). 审核人:L.布里姆 MSC公司:68号01 60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird}等人,科学。计算。程序。12,No.2,93--104(1989;Zbl 0679.68011) 全文: 内政部
大卫·格里斯;阿兰·马丁。;van de Snepscheut,Jan L.A。;扬·蒂杰曼(Jan Tijmen Udding) 非循环图的传递约简算法。 (英语) Zbl 0678.68061号 科学。计算。程序。 12,第2期,151-155(1989). 审核人:C.J.科尔本 MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Gries}等人,科学。计算。程序。12,编号2151-155(1989;Zbl 0678.68061) 全文: 内政部