萨尔瓦多卢卡斯;克劳德·马奇;何塞·梅塞盖尔 条件项重写系统的操作终止。 (英语) Zbl 1185.68374号 Inf.流程。莱特。 95,第4期,446-453(2005).MSC公司:2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人,《信息处理》。莱特。95,第4号,446--453(2005;Zbl 1185.68374) 全文: 内政部
横山,铁雄;胡镇江;Masato武一 确定性二阶模式。 (英语) Zbl 1178.68140号 Inf.流程。莱特。 89,第6号,309-314(2004).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokoyama}等人,《Inf.过程》。莱特。89,第6号,309--314(2004;Zbl 1178.68140) 全文: 内政部
拉斐尔·杜埃尔·林斯 循环参考计数的有效算法。 (英语) Zbl 1044.68705号 Inf.流程。莱特。 83,第3期,145-150(2002).MSC公司:68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Lins},Inf.过程。莱特。83,第3号,145-150(2002年;兹bl 1044.68705) 全文: 内政部
麦克罗伊,M.道格拉斯 溪流的音乐。 (英语) Zbl 1003.68025号 Inf.流程。莱特。 77,第2-4号,189-195(2001).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.D.McIlroy},Inf.过程。莱特。77,No.2--4,189--195(2001;Zbl 1003.68025) 全文: 内政部
G.赫顿。;J·吉本斯。 泛型逼近引理。 (英语) Zbl 1032.68050号 Inf.流程。莱特。 79,第4期,197-201(2001).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}和\textit{J.Gibbons},Inf.过程。莱特。79,第4号,197--201(2001;Zbl 1032.68050) 全文: 内政部
赫尔穆特·塞德尔 Haskell重载是DEXPTIME完成的。 (英语) Zbl 0835.68008号 Inf.流程。莱特。 52,No.2,57-60(1994).MSC公司:68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl},Inf.过程。莱特。52,第2号,57--60(1994;Zbl 0835.68008) 全文: 内政部