莱安德罗·戈麦斯;亚历山大·马德拉;巴博萨、路易斯·索亚雷斯 的语义和逻辑模糊雅顿语法. (英语) Zbl 1499.03023号 软计算。 25,第9号,6789-6805(2021).MSC公司:03B70号 03B52号 第68季度第60季度 第68季度85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Gomes}等人,《软计算》。25,编号9,6789--6805(2021;Zbl 1499.03023) 全文: 内政部
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;拉坦·巴哈杜尔·塔帕 生成更多偏序集N个. (英语) Zbl 07578336号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12062, 82-99 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。12062,82-99(2020;Zbl 07578336) 全文: 内政部 arXiv公司
乔治·斯特鲁斯 霍尔半群。 (英语) Zbl 1390.68440号 数学。结构。计算。科学。 28,第6号,775-799(2018).MSC公司:第68季度第60季度 03B70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},数学。结构。计算。科学。28,第6号,775--799(2018;Zbl 1390.68440) 全文: 内政部
Hitoshi Furusawa;川原康夫;乔治·斯特鲁斯;北海市津马加里 Kleisli、Parikh和Peleg为多重关系创作和提升作品。 (英语) Zbl 1371.68171号 J.日志。代数。方法计划。 90, 84-101 (2017).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}等人,J.Log。代数。方法计划。90,84-101(2017;Zbl 1371.68171) 全文: 内政部 arXiv公司
鲁道夫·伯哈默;沃尔特·古特曼 多重关系及其性质的代数方法。 (英语) 兹比尔1471.03088 J.日志。代数。方法计划。 88, 45-63 (2017).MSC公司:03G15年 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{W.Guttmann},J.Log。代数。方法计划。88、45-63(2017年;Zbl 1471.03088) 全文: 内政部
Hitoshi Furusawa;乔治·斯特鲁斯 缓和多重关系。 (英语) Zbl 1407.03080号 ACM事务处理。计算。日志。 17,第4号,第28条,第34页(2016年).MSC公司:03G25 03E20型 07年6月 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth},ACM Trans。计算。日志。17,第4号,第28条,第34页(2016;Zbl 1407.03080) 全文: 内政部 arXiv公司
鲁道夫·伯哈默;沃尔特·古特曼 多重关系和谓词变换的关系代数方法。 (英语) Zbl 1432.68069号 Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9129, 50-70 (2015).MSC公司:68号30 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghamer}和\textit{W.Guttmann},Lect。注释计算。科学。9129,50-70(2015;Zbl 1432.68069) 全文: 内政部