马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;默多克·J·加贝。 标称SOS。 (英语) Zbl 1342.68193号 Berger,Ulrich(ed.)等人,第28届编程语义数学基础会议论文集(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286103-116(2012)。MSC公司:68问题55 68甲18 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Cimini}等人,《电子》。注释Theor。计算。科学。286103--116(2012;Zbl 1342.68193) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 分配性的规则格式。 (英语) 兹比尔1279.68180 理论。计算。科学。 458, 1-28 (2012).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。458,1--28(2012;Zbl 1279.68180) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 零元素和单位元素的SOS规则格式。 (英语) Zbl 1216.68152号 理论。计算。科学。 412,第28号,3045-3071(2011).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。412,第28号,3045--3071(2011;Zbl 1216.68152) 全文: 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(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) 全文: 内政部