里扎德·贾尼基;马西耶·库特尼 并发结构。 (英语) Zbl 0814.68061号 西奥。计算。科学。 112,第1期,5-52页(1993年). 审核人:W.齐埃隆卡(波尔多) MSC公司:第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{M.Koutny},Theor。计算。科学。112,编号1,5--52(1993;Zbl 0814.68061) 全文: 内政部
耶拉姆拉朱五世(Yellamraju V.Srinivas)。 模式匹配及相关问题的理论方法。 (英语) Zbl 0783.68088号 西奥。计算。科学。 112,第1期,53-97(1993).MSC公司:99年第68季度 68宽10 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Y.V.Srinivas},Theor。计算。科学。112,第1号,53-97(1993年;Zbl 0783.68088) 全文: 内政部
卡罗琳·塔尔科特 绑定结构理论和重写应用。 (英语) Zbl 0783.68089号 西奥。计算。科学。 112,第1期,99-143(1993).MSC公司:99年第68季度 08A70号 68瓦30 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{C.Talcott},Theor。计算。科学。112,编号1,99--143(1993;Zbl 0783.68089) 全文: 内政部
马菲·托马斯;菲尔·沃森 通过丰富签名解决Knuth–Bendix补全中的分歧。 (英语) Zbl 0779.68051号 西奥。计算。科学。 112,第1期,145-185(1993). 审核人:T.穆菲 MSC公司:2012年第68季度 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Thomas}和\textit{P.Watson},Theor。计算。科学。112,第1号,145--185(1993;Zbl 0779.68051) 全文: 内政部