伊雷克·乌利多夫斯基;元朗,昭治 为OSOS过程语言生成优先级重写系统。 (英语) Zbl 1165.68037号 Inf.计算。 207,第2期,第120-145页(2009年).MSC公司:2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Ulidowski}和\textit{S.Yuen},Inf.Compute。207,第2号,120--145(2009;Zbl 1165.68037) 全文: 内政部
穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基 有序SOS的语义和表达。 (英语) Zbl 1165.68045号 Inf.计算。 207,第2期,85-119(2009).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人,信息计算。207,第2号,85--119(2009;Zbl 1165.68045) 全文: 内政部