卢卡·埃特罗;安娜·英格尔夫斯多蒂;欧根·伊安·戈里亚克 幂等项和幂等一元运算符的SOS规则格式。 (英语) Zbl 1283.68200号 J.日志。阿尔盖布。程序。 83,第1号,64-80(2014).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。程序。83,第1号,64--80(2014;Zbl 1283.68200) 全文: 内政部
丙酮,L。(编辑);Baeten,J。(编辑);福克金,W。(编辑);Ingolfsdottir,A。(编辑);美国内斯特曼。(编辑) 特刊:根据2007年9月7日在葡萄牙里斯本举行的IFIP WG1.8工业应用并发性研究研讨会上的演示文稿选出的论文。 (英语) Zbl 1213.68017号 J.日志。阿尔盖布。程序。78,第4期,191-287(2009)。 MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式
卢卡·埃特罗(编辑);安娜·英格尔夫斯多蒂(编辑) 特刊:软件科学和计算结构基础2006(FOSSACS 2006)。根据2006年3月29日至31日在奥地利维也纳举行的第九届国际会议上的发言选出的论文。 (英语) Zbl 1127.68305号 J.日志。阿尔盖布。程序。73,第1-2期,145页。(2007). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式