鲁道夫·伯哈默；沃尔特·古特曼 多重关系及其性质的代数方法。 （英语） Zbl 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 1445.03037号 日志。方法计算。科学。 12，第3号，第6号论文，41页（2016年）.MSC公司：03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Mamouras}，日志。方法计算。科学。12，第3号，第6号论文，41页（2016；Zbl 1445.03037） 全文： 内政部 arXiv公司
戴维·诺曼（David A.Naumann）。 朝向堆和命令式lambdas的模式。 （英语） Zbl 1355.68040号 J.日志。阿尔盖布。方法计划。 85，第5号，第2部分，1038-1056（2016）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann}，J.Log（J.洛格）。阿尔盖布。方法计划。85，第5号，第2部分，1038--1056（2016；Zbl 1355.68040） 全文： 内政部 arXiv公司
Hitoshi Furusawa；乔治·斯特鲁斯 并发动态代数。 （英语） Zbl 1367.03054号 ACM事务处理。计算。日志。 第16号第4条第30条第38页（2015年）.MSC公司：03B70号 03B45号 03G25号 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth}，ACM Trans。计算。日志。16，第4号，第30条，第38页（2015；Zbl 1367.03054） 全文： 内政部 arXiv公司
鲁道夫·伯哈默；沃尔特·古特曼 多重关系和谓词变换的关系代数方法。 （英语） 兹比尔1432.68069 Hinze，Ralf（编辑）等人，《程序构建的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 50-70 (2015).MSC公司：68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Berghamer｝和\textit｛W.Guttmann｝，Lect。注释计算。科学。9129，50-70（2015；Zbl 1432.68069） 全文： 内政部
沃尔特·古特曼 具有无限计算的多重关系。 （英语） Zbl 1371.68172号 J.日志。阿尔盖布。方法计划。 83，第2期，194-211（2014）.MSC公司：68问题55 03G15年 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann}，J.Log（J·洛格）。阿尔盖布。方法计划。83，第2号，194--211（2014；Zbl 1371.68172） 全文： 内政部
Martins，医学硕士。；马德拉，A。；巴博萨，L.S。 对逻辑解释的联合观点。 （英语） Zbl 1353.68185号 螺柱日志。 101，第4期，783-825（2013）.MSC公司：68问题65 03G30型 18个C20 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Martins}等人，研究日志。101，第4号，783--825（2013；Zbl 1353.68185） 全文： 内政部 链接
C.E.马丁。；南卡罗来纳州柯蒂斯。 多重关系代数。 （英语） Zbl 1352.18001号 数学。结构。计算。科学。 23，第3期，635-674（2013）. 审核人：Mark S.Burgin（洛杉矶） MSC公司：18B10型 03B70号 18二氧化碳 18日99 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Martin}和\textit{S.A.Curtis}，数学。结构。计算。科学。23，第3号，635--674（2013；Zbl 1352.18001） 全文： 内政部
普洛塔萨，维奥雷尔 单调布尔变换器代数。 （英语） Zbl 1349.68051号 Simao，Adenilso（编辑）等，《形式方法、基础和应用》。2011年9月26日至30日，第14届巴西研讨会，2011年SBMF，巴西圣保罗。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25031-6/pbk）。计算机科学课堂讲稿7021140-155（2011）。MSC公司：68号30 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}，莱克特。注释计算。科学。7021140-155（2011年；Zbl 1349.68051） 全文： 内政部