Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 面向对象程序的验证:转换方法。 (英语) Zbl 1245.68062号 J.计算。系统。科学。 78,第3号,823-852(2012).MSC公司:68号30 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《计算杂志》。系统。科学。78,第3号,823--852(2012;Zbl 1245.68062) 全文: 内政部
卡尔·梅恩克 高阶代数规范表达能力的完备性定理。 (英语) Zbl 0906.68095号 J.计算。系统。科学。 54,第3期,502-519(1997). 审核人:G.E.Tseytlin(基辅) MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{K.Meinke},J.计算。系统。科学。54,第3号,502--519(1997;Zbl 0906.68095) 全文: 内政部
J.A.伯格斯特拉。;Klop,J.W。 条件重写规则:合并和终止。 (英语) Zbl 0658.68031号 J.计算。系统。科学。 32, 323-362 (1986). 审核人:V.Calmatuianu公司 MSC公司:68问题65 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.W.Klop},J.Comput。系统。科学。32323--362(1986年;Zbl 0658.68031) 全文: 内政部 链接
约斯特·恩格尔弗里特 超AFL的层次结构。 (英语) Zbl 0565.68072号 J.计算。系统。科学。 30, 86-115 (1985). 审核人:R.安多尼 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},J.计算。系统。科学。30,86-115(1985;Zbl 0565.68072) 全文: 内政部 链接
约斯特·恩格尔弗里特;乔拉·斯卢茨基 扩展宏语法和堆栈控制机器。 (英语) Zbl 0575.68081号 J.计算。系统。科学。 29, 366-408 (1984). 审核人:F.彼得雷斯库 MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{G.Slutzki},J.Compute。系统。科学。29366--408(1984年;Zbl 0575.68081) 全文: 内政部 链接
Edward K·布鲁姆。;弗朗西斯科·帕里西·普雷西奇 通过代数方法实现数据类型。 (英语) Zbl 0537.68026号 J.计算。系统。科学。 27304-330(1983年).MSC公司:68第05页 68号01 08A99号 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Blum}和\textit{F.Parisi-Prescce},J.Compute。系统。科学。27304-330(1983年;Zbl 0537.68026) 全文: 内政部
J.A.伯格斯特拉。;J.V.塔克。 霍尔逻辑的表达性和完整性。 (英语) Zbl 0549.68021号 J.计算。系统。科学。 25, 267-284 (1982). 审核人:J.-J.Ch.梅耶 MSC公司:68问题65 60年第68季度 03D60年 03C35号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},J.Comput。系统。科学。25267--284(1982;Zbl 0549.68021) 全文: 内政部 链接
哈特穆特·埃里格;伯恩德·马赫 抽象数据类型的代数实现的复杂性。 (英语) Zbl 0474.68021号 J.计算。系统。科学。 23, 223-253 (1981).MSC公司:68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{B.Mahr},J.Compute。系统。科学。23、223--253(1981年;Zbl 0474.68021) 全文: 内政部