罗伯特·科瓦尔斯基;法里巴·萨德里 反应计算作为模型生成。 (英语) 兹比尔1333.68108 新一代计算。 33,第1号,33-67(2015).MSC公司:2005年第68季度 03B70号 68N17号 第68页,共15页 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski}和\textit{F.Sadri},新一代计算。33,第1号,33--67(2015;Zbl 1333.68108) 全文: 内政部
卢、伦金 逻辑程序的多态类型依赖性分析。 (英语) Zbl 1251.68065号 新一代计算。 29,第4期,409-444(2011).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Lu},新一代计算。29,编号4409-444(2011年;兹bl 1251.68065) 全文: 内政部
赤马森田 通往最佳序列的捷径。 (英语) Zbl 1251.68072号 新一代计算。 29,第1期,31-59(2011).MSC公司:68甲18 第68页第19页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Morihata},新一代计算。29,第1号,31-59(2011年;兹bl 1251.68072) 全文: 内政部
佩德罗·洛佩兹·加西亚;布埃诺,弗朗西斯科;曼纽尔·赫尔梅内吉尔多 使用模式和类型分析对逻辑程序的确定性和互斥性进行自动推理。 (英语) Zbl 1192.68130号 新一代计算。 28,第2期,177-206(2010).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}等人,《新一代计算》。28,编号2177-206(2010年;兹bl 1192.68130) 全文: 内政部 链接
艾尔维拉·阿尔伯特;德国普埃布拉;曼纽尔·赫尔梅内吉尔多 抽象携带代码:移动代码安全模型。 (英语) 兹比尔1169.68356 新一代计算。 26,第2期,171-204(2008).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《新一代计算》。26,第2号,171--204(2008;Zbl 1169.68356) 全文: 内政部 链接
Eo,Hyunjun先生;Lee,Oukseh先生;Yi,Kwangkeun先生 一组混合let-polymorphic类型推理算法的证明。 (英语) Zbl 1085.68028号 新一代计算。 22,第1期,1-36页(2004年).MSC公司:68N20型 68周05 PDF格式BibTeX公司 XML格式引用 \textit{H.Eo}等人,《新一代计算》。22,第1号,1--36(2004;Zbl 1085.68028) 全文: 内政部
乔治·希罗吉安尼斯;哈米什·泰勒 PAN:便携式并行Prolog:其设计、实现和性能。 (英语) 兹比尔1033.68029 新一代计算。 20,第4期,373-399(2002).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Xirogiannis}和\textit{H.Taylor},新一代计算。20,第4号,373--399(2002;Zbl 1033.68029) 全文: 内政部
浅井,肯尼奇 静态和动态表达式的绑定时分析。 (英语) Zbl 0994.68035号 新一代计算。 20,第1号,27-51(2002).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Asai},新一代计算。20,第1号,27--51(2002;Zbl 0994.68035) 全文: 内政部
彼得·塞斯托夫特;亚历山大五世·扎姆林。 关于部分评估和混合计算的注释书目。 (英语) Zbl 0646.68016号 新一代计算。 6,编号2-3309-354(1988).MSC公司:60年第68季度 00A15年 PDF格式BibTeX公司 XML格式引用 \textit{P.Sestoft}和\textit{A.V.Zamulin},新一代计算。6,编号2-3309-354(1988年;Zbl 0646.68016) 全文: 内政部
Masato Takeichi 插入注入操作以表示规格。 (英语) Zbl 0603.68014号 新一代计算。 4, 365-381 (1986).MSC公司:68第05页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Takeichi},新一代计算。4365-381(1986年;兹bl 0603.68014) 全文: 内政部