保罗·塔劳;科恩·德博舍尔;巴特·德梅恩 关于确定性逻辑程序的delphi引理和其他记忆技术。 (英语) Zbl 0884.68027号 J.日志。程序。 30,第2期,145-163(1997).MSC公司:68N17号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Tarau}等人,J.Log。程序。30,第2号,145--163(1997;Zbl 0884.68027) 全文: 内政部
保罗·塔劳;德博舍尔,科恩;巴特·德梅恩 部分翻译:面向可移植且高效的序言实现技术。 (英语) Zbl 0878.68039号 J.日志。程序。 29,编号1-3,65-83(1996).MSC公司:68N17号 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{P.Tarau}等人,J.Log。程序。29,编号1--3,65-83(1996;Zbl 0878.68039) 全文: 内政部