马尔科·霍伦伯格;基斯·弗默伦 在动态设置中计算变量。 (英语) Zbl 0857.03022号 J.日志。计算。 6,第5期,725-744(1996). 审核人:M.霍伦伯格(乌得勒支) MSC公司:03C80号 03B65号 03B20型 68T50型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Hollenberg}和\textit{K.Vermeulen},J.Log。计算。6,第5号,725--744(1996;Zbl 0857.03022) 全文: 内政部 链接
马里奥广场;莫里齐奥·卡斯特兰 量子数和结构规则。 (英语) Zbl 0861.03048号 J.日志。计算。 6,第5期,709-724(1996). 审核人:R.Maddux(艾姆斯) MSC公司:03G25号 05年6月 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Piazza}和\textit{M.Castellan},J.Log。计算。6,第5号,709--724(1996;Zbl 0861.03048) 全文: 内政部
埃里克·格雷戈伊尔;皮埃尔·侯爵 演绎数据库的新颖性。 (英语) Zbl 0857.68034号 J.日志。计算。 6,第5期,683-708(1996).MSC公司:第68页,共15页 03B80型 PDF格式BibTeX公司 XML格式引用 \textit{埃里·格雷戈里}和\textit{P.马奎斯},J.洛格。计算。6,第5号,683--708(1996;Zbl 0857.68034) 全文: 内政部
斯特凡诺·贝拉尔迪 删除简单键入的\(\lambda\)-terms。 (英语) Zbl 0863.03007号 J.日志。计算。 6,第5期,663-681(1996). 审核人:N.Bernard(Le Bourget du Lac) MSC公司:03B40型 68号01 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi},J.Log。计算。6,第5号,663--681(1996;Zbl 0863.03007) 全文: 内政部
罗恩·西格尔 逻辑程序的通用模型。 (英语) Zbl 0855.68017号 J.日志。计算。 6,第5期,629-661(1996).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sigal},J.Log。计算。6,第5号,629--661(1996;Zbl 0855.68017) 全文: 内政部