乔治·斯特鲁斯 左欧米伽代数和正则方程。 (英语) Zbl 1279.68242号 J.日志。阿尔盖布。程序。 81,第6号,705-717(2012).MSC公司:70年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},J.Log。阿尔盖布。程序。81,No.6,705--717(2012;Zbl 1279.68242) 全文: 内政部
你好,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·韦尔曼 并发Kleene代数及其基础。 (英语) Zbl 1278.68176号 J.日志。阿尔盖布。程序。 80,第6期,266-296(2011).MSC公司:60年第68季度 第68页第19页 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,J.Log。阿尔盖布。程序。80,No.6,266--296(2011;Zbl 1278.68176) 全文: 内政部 链接
彼得·霍夫纳;乔治·斯特鲁斯 非终结的代数概念:幂等半环中的Omega和散度。 (英语) Zbl 1205.68111号 J.日志。阿尔盖布。程序。 79,第8期,794-811(2010).MSC公司:68号01 68N99型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{G.Struth},J.Log。阿尔盖布。程序。79,第8号,794--811(2010;Zbl 1205.68111) 全文: 内政部
乔治·斯特鲁斯 抽象抽象约简。 (英语) Zbl 1086.68068号 J.日志。阿尔盖布。程序。 66,第2期,239-270(2006).MSC公司:2012年第68季度 03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},J.Log。阿尔盖布。程序。66,第2号,239--270(2006;Zbl 1086.68068) 全文: 内政部