卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 零元素和单位元素的规则格式。 (英语) Zbl 1342.68189号 Mislove,Michael(ed.)等人,《第26届编程语义数学基础会议论文集》(MFPS 2010),加拿大渥太华,2010年5月6日至10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记265145-160(2010)。MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《电子》。注释Theor。计算。科学。265145-160(2010年;Zbl 1342.68189) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维 将非有限公理化结果提升到过程代数的扩展。 (英语) 兹比尔1186.68313 学报信息。 47,第3期,147-177(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息学报》47,第3期,147--177(2010年;Zbl 1186.68313) 全文: 内政部 链接