秋正森哈塔 通往最佳序列的捷径。 (英语) Zbl 1251.68072号 新一代计算。 29,第1期,31-59(2011).MSC公司:68甲18 第68页第19页 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{A.Morihata},新一代计算。29、第1号、第31-59号(2011;Zbl 1251.68072) 全文: 内政部
朱利奥·马里诺;莫雷诺·纳瓦罗,胡安·何塞;苏珊娜·穆尼奥斯·赫南德斯 实施建设性内涵否定。 (英语) Zbl 1191.68151号 新一代计算。 27,第1号,25-56(2009).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Mariño}等人,《新一代计算》。27,第1号,25-56(2009;Zbl 1191.68151) 全文: 内政部
罗伯特·格莱克(编辑);福村义彦(编辑) 特色:部分评估和程序转换。为期一天的学术讨论会的5篇论文,早稻田大学,日本东京,1999年11月15日。 (英语) Zbl 0988.00086号 新一代计算。 20,第1期,124页(2002年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}(编辑)和\textit{Y.Futamura}(主编),新一代计算。20,第1期,124~p.(2002;Zbl 0988.00086) 全文: 内政部
Ohta,Yoshihiko先生;井上,胜美 将自上而下的信息纳入自下而上的假设推理。 (英语) Zbl 0780.68104号 新一代计算。 11,编号3-4,401-421(1993).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ohta}和\textit{K.Inoue},新一代计算。11,编号3-4401-421(1993年;Zbl 0780.68104) 全文: 内政部
D.R.布鲁。;C.J.霍格。 逻辑程序的语法相关转换。 (英语) Zbl 0722.68019号 新一代计算。 9,第2期,115-134(1991).MSC公司:68N17号 60年第68季度 2012年第68季度 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Brough}和\textit{C.J.Hogger},新一代计算。9,第2号,115--134(1991;Zbl 0722.68019) 全文: 内政部
大辅佐藤;久崎田木 存在延续。 (英语) Zbl 0664.68103号 新一代计算。 6,第4期,421-438(1989).MSC公司:68吨15 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{H.Tamaki},新一代计算。6,第4号,421--438(1989;Zbl 0664.68103) 全文: 内政部
A.拉科蒂亚。;斯特林,L。 用子句连接编写递归逻辑程序。 (英语) Zbl 0655.68119号 新一代计算。 6,编号2-3211-225(1988).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lakhotia}和\textit{L.Sterling},新一代计算。6,编号2--3,211-225(1988;Zbl 0655.68119) 全文: 内政部
Koichi Furukawa;秋叶大村;村上春树,Masaki 为GHC计划制定规则。 (英语) Zbl 0654.68104号 新一代计算。 6,编号2-3,143-157(1988).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Furukawa}等人,《新一代计算》。6,编号2--3,143-157(1988;Zbl 0654.68104) 全文: 内政部
Masato Takeichi Lambda-hositing:一种转换技术,用于函数程序的完全惰性评估。 (英语) Zbl 0637.68015号 新一代计算。 5,第4号,377-391(1988).MSC公司:68号01 99年第68季度 03B40型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Takeichi},新一代计算。5,第4号,377--391(1988;Zbl 0637.68015) 全文: 内政部
Kazunori上田 使详尽的搜索程序具有确定性。 (英语) Zbl 0631.68074号 新一代计算。 5, 29-44 (1987).MSC公司:68T20型 68号01 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.Ueda},新一代计算。5,29-44(1987年;兹bl 0631.68074) 全文: 内政部
迈克尔·科迪什;埃胡德·夏皮罗 将OR并行编译为AND并行。 (英语) Zbl 0614.68022号 新一代计算。 5, 45-61 (1987).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}和\textit{E.Shapiro},新一代计算。5、45-61(1987年;Zbl 0614.68022) 全文: 内政部