皮埃尔·德兰萨特 定程序声明性的证明方法。 (英语) Zbl 0783.68078号 西奥。计算。科学。 118,第2期,99-166(1993).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \提奥,textit{P.Deransart}。计算。科学。118,编号2,99--166(1993;Zbl 0783.68078) 全文: 内政部 链接
休伯特·科蒙 某些商项代数的完备公理化。 (英语) Zbl 0810.03026号 西奥。计算。科学。 118,第2期,167-191(1993).MSC公司:03C05号机组 03年2月25日 08A70号 03C10号机组 08C10号 PDF格式BibTeX公司 XML格式引用 \文本{H.Comon},Theor。计算。科学。118,第2号,167--191(1993;Zbl 0810.03026) 全文: 内政部
伊恩·斯图尔特(Iain A.Stewart)。 通过逻辑归约证明完备性的方法。 (英语) Zbl 0777.68040号 西奥。计算。科学。 118,编号2193-229(1993). 审核人:I.A.斯图尔特 MSC公司:2015年第68季度 2015年3月1日 03C13号机组 PDF格式BibTeX公司 XML格式引用 \文本{I.A.Stewart},Theor。计算。科学。118,第2号,193--229(1993;Zbl 0777.68040) 全文: 内政部
德拉吉切斯库,M。;普鲁索塔曼,S。 统一处理评估顺序和汇总更新。 (英语) Zbl 0779.68012号 西奥。计算。科学。 118,第2期,231-262(1993). 审核人:德拉吉切斯库先生 MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Draghicescu}和\textit{S.Purushothaman},Theor。计算。科学。118,No.2,231--262(1993;Zbl 0779.68012) 全文: 内政部
Jan Friso,格鲁特 带有否定前提的过渡系统规范。 (英语) Zbl 0778.68057号 西奥。计算。科学。 118,第2期,263-299(1993). 审核人:简·弗里索·格鲁特 MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote},西奥。计算。科学。118,第2号,263--299(1993;Zbl 0778.68057) 全文: 内政部 链接
亚历克斯·K·辛普森。 最小不动点算子的二次性特征。 (英语) Zbl 0788.18007号 西奥。计算。科学。 118,No.2,301-314(1993). 审核人:亚历克斯·K·辛普森 MSC公司:18日第15天 06B35号 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{A.K.Simpson},Theor。计算。科学。118,第2号,301--314(1993;Zbl 0788.18007) 全文: 内政部