卡梅隆·卡克;埃里克·古堡;菲利普·马尔博斯;乔治·斯特鲁斯 代数相干合流和更高球状Kleene代数。 (英语) Zbl 1508.18018号 日志。方法计算。科学。 18,第4号,第9号论文,43页(2022年). 审核人:Hirokazu Nishimura(筑波) MSC公司:18号30 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Calk}等人,日志。方法计算。科学。18,第4号,第9号论文,43页(2022年;Zbl 1508.18018) 全文: 内政部 arXiv公司 OA许可证
西蒙·福斯特;乔治·斯特鲁斯 关于正则代数的精细结构。 (英语) Zbl 1331.68128号 J.自动化。推理 54,第2期,165-197(2015).MSC公司:65年第68季度 70年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}和\textit{G.Struth},J.奥托姆。推理54,第2号,165-197(2015年;兹bl 1331.68128) 全文: 内政部 链接
阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯;Tjark韦伯 Tarski-Kleene层次结构中的数学编程和自动化。 (英语) Zbl 1434.68637号 J.日志。阿尔盖布。方法计划。 83,第2期,87-102(2014).MSC公司:68伏15 03G15年 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armstrong}等人,J.Log。阿尔盖布。方法计划。83,第2号,87--102(2014;Zbl 1434.68637) 全文: 内政部
乔治·斯特鲁斯 左欧米伽代数和正则方程。 (英语) 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) 全文: 内政部
洛杉矶梅尼克。;K·索林。 反应概率程序和精化代数。 (英语) Zbl 1138.68360号 Berghammer,Rudolf(编辑)等人,《计算机科学中的关系和Kleene代数》。第十届计算机科学关系方法国际会议和第五届克莱恩代数应用国际会议,2008年4月7日至11日,德国弗劳恩沃思,RelMiCS/AKA 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78912-3/pbk)。《计算机科学讲义》4988、304-319(2008)。MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Meinicke}和\textit{K.Solin},莱克特。注释计算。科学。4988、304--319(2008年;Zbl 1138.68360) 全文: 内政部