艾尔维拉·阿尔伯特;约翰·加拉赫;米盖尔·戈梅斯·扎马洛亚;热尔曼普埃布拉 基于类型的同胚嵌入用于在线终止。 (英语) Zbl 1205.68508号 信息处理。莱特。 109,第15号,879-886(2009).MSC公司:68周25 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《信息处理》。莱特。109,第15号,879--886(2009;Zbl 1205.68508) 全文: 内政部
奥利维尔·丹维;尼尔森,拉塞·R。 β-redex的CPS转换。 (英语) Zbl 1182.68045号 信息处理。莱特。 94,第5期,217-224(2005).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{L.R.Nielsen},Inf.过程。莱特。94,第5号,217--224(2005;Zbl 1182.68045) 全文: 内政部
Sandeep S.Kulkarni。;蔡斯·伯伦;约翰·奥列兹基维茨;安德鲁·罗宾逊 读/写原子性的交流发电机。 (英语) Zbl 1173.68560号 信息处理。莱特。 93,第5期,207-215(2005).MSC公司:68问题55 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Kulkarni}等人,《信息处理》。莱特。93,第5号,207--215(2005;Zbl 1173.68560) 全文: 内政部
Ager,Mads Sig公司;奥利维尔·丹维;米德加德,一月 调用-需要计算器和惰性抽象机器之间的函数通信。 (英语) Zbl 1178.68249号 信息处理。莱特。 90,第5期,223-232(2004).MSC公司:2005年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Ager}等人,《信息处理》。莱特。90,第5号,223--232(2004;Zbl 1178.68249) 全文: 内政部
横山,铁雄;胡镇江;Masato Takeichi 确定性二阶模式。 (英语) Zbl 1178.68140号 信息处理。莱特。 89,第6号,309-314(2004).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokoyama}等人,《Inf.过程》。莱特。89,第6号,309--314(2004;Zbl 1178.68140) 全文: 内政部
艾尔维拉·阿尔伯特;迈克尔·哈纳斯;德国维达尔 一种用于函数逻辑程序部分求值的残差化语义。 (英语) Zbl 1042.68023号 信息处理。莱特。 85,第1期,19-25(2003).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《信息处理》。莱特。85,第1号,19--25(2003;Zbl 1042.68023) 全文: 内政部
厄尔林·卢茨 数据精化的一些证明。 (英语) Zbl 0696.68028号 信息处理。莱特。 34,第4期,179-185(1990).MSC公司:第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.Lutz},Inf.过程。莱特。34,第4号,179--185(1990;Zbl 0696.68028) 全文: 内政部
E.Robert McCurley 部分正确性编程逻辑中的辅助变量。 (英语) Zbl 0689.68009号 信息处理。莱特。 33,第3期,131-133(1989).MSC公司:第68季度第60季度 68号01 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.R.McCurley},Inf.流程。莱特。33,第3号,131--133(1989;Zbl 0689.68009) 全文: 内政部
卡罗尔·摩根 数据优化中的辅助变量。 (英语) Zbl 0662.68014号 信息处理。莱特。 29,第6期,293-296(1988).MSC公司:68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan},Inf.流程。莱特。29,第6号,293--296(1988;Zbl 0662.68014) 全文: 内政部
菲利普·查特林 关于2乘2矩阵的算法变换。 (英语) Zbl 0584.68058号 信息处理。莱特。 22,1-5(1986年).MSC公司:68瓦30 65年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{P.Chatelin},信息处理。莱特。22、1--5(1986年;Zbl 0584.68058) 全文: 内政部
纳胡姆德肖维茨 重新审视了Schorr-Waite标记算法。 (英语) Zbl 0447.68073号 信息处理。莱特。 11, 141-143 (1980).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz},信息处理。莱特。11、141--143(1980年;Zbl 0447.68073) 全文: 内政部 链接
布罗伊,M。 并发程序的转换语义。 (英语) Zbl 0444.68017号 信息处理。莱特。 11, 87-91 (1980).MSC公司:68N25号 第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},Inf.流程。莱特。11、87-91(1980年;Zbl 0444.68017) 全文: 内政部