埃西克,Z。 公理化正则树语言的等式理论。 (英语) Zbl 1184.68315号 J.日志。阿尔盖布。程序。 第2期第79页,189-213页(2010年).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.埃西克},J.Log。阿尔盖布。程序。79,第2号,189--213(2010;Zbl 1184.68315) 全文: 内政部
拉兹万·迪亚科内斯库 代数规范中的准布尔编码和条件。 (英语) Zbl 1187.68322号 J.日志。阿尔盖布。程序。 79,第2期,174-188(2010).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}、J.Log。阿尔盖布。程序。79,第2号,174--188(2010;Zbl 1187.68322) 全文: 内政部
沃尔特·古特曼;伯恩哈德·莫勒 正规设计代数。 (英语) Zbl 1184.68179号 J.日志。阿尔盖布。程序。 79,第2期,144-173(2010).MSC公司:68N99型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}和\textit{B.Möller},J.Log。阿尔盖布。程序。79,第2号,144--173(2010;Zbl 1184.68179) 全文: 内政部 链接
何塞·梅塞盖尔;米盖尔·帕洛米诺;马丁·奥列特,纳西索 代数模拟。 (英语) Zbl 1184.68300号 J.日志。阿尔盖布。程序。 79,第2期,第103-143页(2010年).MSC公司:2012年第68季度 60年第68季度 03B44号 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人,J.Log。阿尔盖布。程序。79,No.2,103--143(2010;Zbl 1184.68300) 全文: 内政部