乔达里,Dipak L。;Om达马尼 通过注释程序进行假设传播。 (英语) Zbl 1362.68043号 正式Asp。计算。 29,第3期,495-530(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Chaudhari}和\textit{O.Damani},正式Asp。计算。29,第3号,495--530(2017;Zbl 1362.68043) 全文: 内政部
蒋玉玺;穆申成 贪婪算法从关系规范的形式推导:教程。 (英语) Zbl 1355.68049号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,879-905(2016).MSC公司:68号30 68甲15 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-H.Chiang}和\textit{S.-C.Mu},J.Log。阿尔盖布。方法程序。85,第5号,第2部分,879--905(2016;Zbl 1355.68049) 全文: 内政部
马丁·沃德;侯赛因·泽丹 使用FermaT进行算法推导,证明是正确的。 (英语) Zbl 1342.68213号 正式Asp。计算。 26,第5期,993-1031(2014).MSC公司:60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ward}和\textit{H.Zedan},正式Asp。计算。26,第5号,993--1031(2014;Zbl 1342.68213) 全文: 内政部 链接
穆申成;何塞·努诺·奥利维拉 从Galois连接进行编程。 (英语) Zbl 1257.68057号 J.日志。阿尔盖布。程序。 81,第6号,680-704(2012).MSC公司:68号30 2015年1月6日 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Mu}和\textit{J.N.Oliveira},J.Log。阿尔盖布。程序。81,编号6,680-704(2012年;兹bl 1257.68057) 全文: 内政部 链接
浅井,肯尼奇;奥列格·基塞利约夫;Shan、Chung-chieh 函数un\(|\)unparsing。 (英语) Zbl 1256.68029号 高-订购符号。计算。 24,第4期,311-340(2011).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Asai}等人,高-订购符号。计算。24,第4号,311--340(2011;Zbl 1256.68029) 全文: 内政部
王帅强;Ma,Jun女士;刘继明;牛晓飞 进化遗传编程的选择结构。 (英语) Zbl 1234.68365号 信息处理。莱特。 110,第20号,871-876(2010).MSC公司:68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}等人,《信息处理》。莱特。110,编号20871-876(2010年;兹bl 1234.68365) 全文: 内政部
奥利维尔·丹维;凯文·米利金 关于小步和大步抽象机之间的等价性:轻量级融合的简单应用。 (英语) Zbl 1186.68122号 信息处理。莱特。 106,第3期,100-109(2008).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{K.Millikin},Inf.过程。莱特。106,第3号,100--109(2008;Zbl 1186.68122) 全文: 内政部
布里杰什·多戈尔;阿扬·J·穆伊(Arjan J.Mooij)。 简化基于进程的并发程序派生。 (英语) Zbl 1141.68025号 正式Asp。计算。 20,第2期,141-160(2008).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}和\textit{A.J.Mooij},正式Asp。计算。20,第2号,141--160(2008;Zbl 1141.68025) 全文: 内政部 链接
奥利维尔·丹维;Henning Korsholm,罗德 通过部分求值得到Boyer-Moore字符串匹配算法。 (英语) Zbl 1185.68281号 信息处理。莱特。 99,第4期,158-162(2006).MSC公司:68页第10页 68瓦40 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{H.K.Rohde},Inf.过程。莱特。99,第4号,158--162(2006;Zbl 1185.68281) 全文: 内政部
奥利维尔·丹维;Lasse R.尼尔森。 beta-redex的CPS转换。 (英语) Zbl 1182.68045号 信息处理。莱特。 94,第52117-224号(2005年).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{L.R.Nielsen},Inf.过程。莱特。94,第5号,217--224(2005;Zbl 1182.68045) 全文: 内政部
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;苏菲·雷诺 通过专门化和减少不确定性导出有效的逻辑程序。 (英语) Zbl 1103.68034号 高-订购符号。计算。 18,编号1-2,121-210(2005).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,高-订购符号。计算。18,编号1--2,121-210(2005;Zbl 1103.68034) 全文: 内政部
高桥,大辅 一种用于多精度浮点乘法的算法。 (英语) Zbl 1073.65043号 申请。数学。计算。 166,第2期,291-298(2005).MSC公司:65克50 65T50型 PDF格式BibTeX公司 XML格式引用 \textit{D.Takahashi},应用程序。数学。计算。166,第2号,291--298(2005;Zbl 1073.65043) 全文: 内政部
Ager,Mads Sig公司;奥利维尔·丹维;Midtgaard,一月 调用-需要计算器和惰性抽象机器之间的函数通信。 (英语) Zbl 1178.68249号 信息处理。莱特。 90,第5223-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) 全文: 内政部
克尼塞尔,Günter;海尔格·科赫 重构的静态组合。 (英语) Zbl 1091.68031号 科学。计算。程序。 52,编号1-3,9-51(2004).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{G.克尼塞尔}和\textit{H.科赫},科学。计算。程序。52,编号1--3,9--51(2004;Zbl 1091.68031) 全文: 内政部
米歇尔·辛佐夫 关于正确和最优动力系统和对策的设计。 (英语) Zbl 1205.91034号 信息处理。莱特。 88,编号1-2,59-65(2003).MSC公司:91年2月25日 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sintzoff},信息处理。莱特。88,编号1--2,59-65(2003;Zbl 1205.91034) 全文: 内政部
曼纽尔·埃尔南德斯;David A.Rosenblueth。 右向左字符串匹配算法的析取部分推导。 (英语) Zbl 1161.68768号 信息处理。莱特。 87,第5期,235-241(2003).MSC公司:68吨10 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Hernández}和\textit{D.A.Rosenblueth},Inf.Process。莱特。87,第5号,235--241(2003;Zbl 1161.68768) 全文: 内政部
萨尔瓦多鲁杰里 关于计算两个整数的半和。 (英语) Zbl 1175.68116号 信息处理。莱特。 87,第2期,67-71(2003).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ruggieri},Inf.过程。莱特。87,第2号,67--71(2003;Zbl 1175.68116) 全文: 内政部
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 逻辑程序派生的列表引入策略。 (英语) Zbl 1001.68020号 正式Asp。计算。 13,编号3-5,233-251(2002).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{M.Proietti},正式Asp。计算。13、编号3--5、233--251(2002;Zbl 1001.68020) 全文: 内政部
布尔特曼,R.W。;范德索曼(F.W.van der Sommen)。;Zwaan,G。;T·弗霍夫。 计算树中最长的路径。 (英语) Zbl 1032.68671号 信息处理。莱特。 81,第2期,93-96(2002).MSC公司:68兰特 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.W.Bulterman}等人,《Inf.过程》。莱特。81,第2号,93-96(2002年;兹bl 1032.68671) 全文: 内政部
高桥,大辅 计算大斐波那契数的快速算法。 (英语) Zbl 1339.11102号 信息处理。莱特。 75,第6期,243-246(2000).MSC公司:第11年55 11层39 2007年8月 PDF格式BibTeX公司 XML格式引用 \textit{D.Takahashi},Inf.流程。莱特。75,第6号,243--246(2000;Zbl 1339.11102) 全文: 内政部 链接
El Ouatuati,A。;菲塞特,P。;D.A.约翰逊。 包含柔性板的多体系统的完全符号模型。 (英语) Zbl 0970.74029号 非线性动力学。 18,第4期,357-382(1999). 审核人:E.Heinrich(康斯坦茨) MSC公司:74H10型 74小时45 70E55型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.El Ouatouation}等人,《非线性动力学》。18,第4号,357--382(1999;Zbl 0970.74029) 全文: 内政部
布哈·塞努,D.S。;W.H.J.费扬。 分布式相位同步算法的形式化推导。 (英语) 兹比尔0900.68158 信息处理。莱特。 60,第4期,207-213(1997).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Buhéceanu}和\textit{W.H.J.Feijen},Inf.过程。莱特。60,第4号,207--213(1997;Zbl 0900.68158) 全文: 内政部
伯德,理查德·S。;拉韦洛,Jesús N。 关于计算代表。 (英语) Zbl 1336.68272号 信息处理。莱特。 63,第1期,第1-7页(1997年).MSC公司:68周05 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird}和\textit{J.N.Ravelo},Inf.过程。莱特。63,编号1,1--7(1997;Zbl 1336.68272) 全文: 内政部
雅各布·科纳鲁普 权力派中的奇偶排序。 (英语) Zbl 0925.68119号 信息处理。莱特。 61,第1期,15-24页(1997年).MSC公司:68页第10页 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kornerup},Inf.流程。莱特。61,No.1,15--24(1997;Zbl 0925.68119) 全文: 内政部
塞雷,K。 程序和原子性细化。 (英语) Zbl 0875.68275号 信息处理。莱特。 60,第2期,67-74(1996).MSC公司:68N99型 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Sere},Inf.流程。莱特。60,第2号,67--74(1996;Zbl 0875.68275) 全文: 内政部
大卫·比林顿;R.Geoff,Dromey 共不变生成器:用于导出循环体。 (英语) Zbl 0843.68066号 正式Asp。计算。 8,第1期,108-126(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Billington}和\textit{R.G.Dromey},正式Asp。计算。8,编号1,108-126(1996;Zbl 0843.68066) 全文: 内政部
Leino,K.Rustan M。 构造具有异常的程序。 (英语) Zbl 0875.68200号 信息处理。莱特。 53,第3期,159-163(1995).MSC公司:68号01 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino},Inf.过程。莱特。53,第3号,159--163(1995;Zbl 0875.68200) 全文: 内政部
雅各布·科纳鲁普 将并行程序的函数表示映射到超立方体。 (英语) Zbl 0875.68405号 信息处理。莱特。 53,第3期,153-158(1995).MSC公司:2010年第68季度 2007年8月 60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{J.Kornerup},Inf.流程。莱特。53,第3号,153--158(1995年;Zbl 0875.68405) 全文: 内政部
埃因霍温星期二下午俱乐部 构造伽罗瓦伴随。 (英语) Zbl 0998.93509号 信息处理。莱特。 53,第3期,第137-139页(1995年).MSC公司:93B35型 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{埃因霍温星期二下午俱乐部},Inf.流程。莱特。53,第3号,137--139(1995;Zbl 0998.93509) 全文: 内政部
程序建设组数学 定点微积分。 (英语) Zbl 0875.68201号 信息处理。莱特。 第5313-136号(1995年).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{程序构造组数学},Inf.过程。莱特。53,第3号,131--136(1995;Zbl 0875.68201) 全文: 内政部
耶拉姆拉朱五世(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 0770.68091号 西奥。计算。科学。 113,第2期,259-272(1993).MSC公司:60年第68季度 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{J.Lu}和\textit{J.Xu},Theor。计算。科学。113,第2号,259--272(1993;Zbl 0770.68091) 全文: 内政部
van de Snepscheut,Jan L.A.(范德斯涅普谢特,简·L·A)。 LISP编程练习。 (英语) Zbl 0780.68011号 信息处理。莱特。 42,第2期,103-108(1992).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.L.A.van de Snepscheut},Inf.过程。莱特。42,编号2,103--108(1992;Zbl 0780.68011) 全文: 内政部
Ambuj K·辛格。 理解异步系统中的无界变量。 (英语) Zbl 0780.68037号 信息处理。莱特。 42,第1号,7-17页(1992年).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Singh},Inf.过程。莱特。42,编号1,7--17(1992;Zbl 0780.68037) 全文: 内政部
汤姆·惠利 循环置换算法的替代发展。 (英语) Zbl 0779.68060号 信息处理。莱特。 41,第5期,239-241(1992).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Whaley},Inf.过程。莱特。41,第5号,239--241(1992;Zbl 0779.68060) 全文: 内政部
多米尼克·梅里 作为并发程序开发系统的\({\mathcal-NU}\)系统:\(\delta{\matchcal-NU}\)。 (英语) Zbl 0747.68037号 西奥。计算。科学。 94,第2期,311-334(1992).MSC公司:60年第68季度 68号01 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.梅里},Theor。计算。科学。94,第2号,311--334(1992;Zbl 0747.68037) 全文: 内政部
迪迪埃·加米歇 建构型理论中的程序开发。 (英语) Zbl 0760.68012号 西奥。计算。科学。 94,第2期,237-259(1992).MSC公司:68号01 03年11月15日 PDF格式BibTeX公司 XML格式引用 \文本{D.Galmiche},Theor。计算。科学。94,第2号,237--259(1992;Zbl 0760.68012) 全文: 内政部
奥利维尔·丹维 非线性模式的语义导向编译。 (英语) Zbl 0722.68026号 信息处理。莱特。 37,第6号,315-322(1991).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Denvy},Inf.流程。莱特。37,第6号,315--322(1991;Zbl 0722.68026) 全文: 内政部
斯特凡·Rönn 关于递归关系的对数求值。 (英语) Zbl 0743.68095号 信息处理。莱特。 40,第4期,197-199(1991).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Rönn},Inf.流程。莱特。40,第4号,197--199(1991;Zbl 0743.68095) 全文: 内政部
维姆·赫塞林克。 重复,已知还是未知? (英语) Zbl 0751.68035号 信息处理。莱特。 40,第1期,第51-57页(1991年).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},Inf.过程。莱特。40,编号1,51-57(1991;Zbl 0751.68035) 全文: 内政部
A.Bijlsma。 用函数方法推导逻辑程序。 (英语) Zbl 0751.68013号 信息处理。莱特。 39,第6号,325-332(1991).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bijlsma},Inf.过程。莱特。39,No.6,325--332(1991;Zbl 0751.68013) 全文: 内政部 链接
Loyens,L.D.J.C。;范德福斯特(J.G.G.van de Vorst)。 两个小型并行编程练习。 (英语) Zbl 0715.68058号 科学。计算。程序。 15,编号2-3159-169(1990).MSC公司:60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{L.D.J.C.Loyens}和\textit{J.G.G.van de Vorst},科学。计算。程序。15,No.2--3159--169(1990;Zbl 0715.68058) 全文: 内政部
陈伟;扬·蒂杰曼(Jan Tijmen Udding) 程序反转:不仅仅是乐趣! (英语) 兹比尔0715.68055 科学。计算。程序。 15,第1号,1-13(1990).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.Chen}和\textit{J.T.Udding},科学。计算。程序。15,编号1,1-13(1990;Zbl 0715.68055) 全文: 内政部
Jean-Pierre,Banátre;丹尼尔·勒梅泰勒 伽马模型及其编程原则。 (英语) Zbl 0715.68054号 科学。计算。程序。 15,No.1,55-77(1990).MSC公司:60年第68季度 68号01 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Banátre}和\textit{D.Le Métayer},科学。计算。程序。15,编号1,55--77(1990;Zbl 0715.68054) 全文: 内政部
安妮·卡德瓦伊;杰勒德·茨瓦恩 常规语言接受者的收缩设计。 (英语) Zbl 0715.68048号 科学。计算。程序。 15,编号2-3,171-183(1990).MSC公司:65年第68季度 2005年第68季度 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaldewaij}和\textit{G.Zwaan},科学。计算。程序。15,编号2-1371-183(1990年;兹bl 0715.68048) 全文: 内政部
范登·艾因德,J.P.H.W。 左下和右上部分。 (英语) Zbl 0715.68006号 科学。计算。程序。 15,第1号,79-94(1990).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.P.H.W.van den Eijnde},科学。计算。程序。15,编号1,79--94(1990;Zbl 0715.68006) 全文: 内政部
安妮·卡尔德瓦伊;马丁·雷 收缩计算的推导。 (英语) Zbl 0709.68020号 科学。计算。程序。 14,No.2-3,229-242(1990). 审核人:J.维斯科 MSC公司:68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaldewaij}和\textit{M.Rem},科学。计算。程序。14,编号2--3,229--242(1990;Zbl 0709.68020) 全文: 内政部
H.Peter,Huttelmaier;马塞洛·爱泼斯坦 多层板的大位移有限元。 (英语) 兹比尔0708.73075 有限元素。分析。设计。 189-196年第3期第6页(1990年).MSC公司:74S05号 74B20型 74K20型 74E30型 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Huttelmaier}和\textit{M.Epstein},有限元。分析。设计。6,第3号,189--196(1990;Zbl 0708.73075) 全文: 内政部
安妮·卡德瓦伊;Schoenmakers,贝瑞 通过消除进行搜索。 (英语) Zbl 0708.68037号 科学。计算。程序。 14,编号2-3,243-254(1990). 审核人:M.Zimand先生 MSC公司:60年第68季度 68号01 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaldewaij}和\textit{B.Schoenmakers},科学。计算。程序。14,编号2--3,243--254(1990;Zbl 0708.68037) 全文: 内政部
Rob R.Hoogerwoord。 CASOP算法的计算推导。 (英语) Zbl 0706.68074号 信息处理。莱特。 36,第6号,297-299(1990).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Hoogerwoord},Inf.过程。莱特。36,第6号,297--299(1990;Zbl 0706.68074) 全文: 内政部
道格拉斯·史密斯。;Michael R.劳里。 算法理论和设计策略。 (英语) Zbl 0705.68077号 科学。计算。程序。 14,编号2-3,305-321(1990).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Smith}和\textit{M.R.Lowry},科学。计算。程序。14,编号2--3,305-321(1990;Zbl 0705.68077) 全文: 内政部
背面,R.J.R。;塞雷,K。 并行算法的逐步细化。 (英语) Zbl 0705.68057号 科学。计算。程序。 13,编号2-3,133-180(1990).MSC公司:68宽15 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.Back}和\textit{K.Sere},科学。计算。程序。13,编号2--3,133-180(1990;Zbl 0705.68057) 全文: 内政部
雷诺·库基·苏尼奥 面向支持程序派生或控制被认为有害的模块化的语言。 (英语) 兹比尔0705.68027 《网络学报》。 9,第3号,179-192(1990).MSC公司:68甲15 60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kurki-Soonio},《网络学报》。9,第3号,179--192(1990;Zbl 0705.68027)
Masato Takeichi;Yohji阿卡玛 通过变换导出一个函数Knuth-Morris-Pratt算法。 (英语) 兹比尔0764.68097 J.信息处理。 13,No.4,522-528(1990).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Takeichi}和\textit{Y.Akama},J.Inf.过程。13,No.4,522--528(1990;Zbl 0764.68097)
何继峰 过程模拟和细化。 (英语) Zbl 0696.68099号 形式方面计算。 1,第3期,229-241(1989).MSC公司:68岁20岁 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Jifeng},正式Asp。计算。1,第3号,229--241(1989;Zbl 0696.68099) 全文: 内政部
阿尔贝托·佩特罗西;安德烈·斯科伦 用于程序派生的lambda抽象策略的威力。 (英语) 兹伯利0682.68014 J.信息处理。赛博。 25,编号5-6,263-281(1989). 审核人:S.Miura公司 MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{A.Skowron},J.Inf.过程。赛博。25、编号5--6、263--281(1989;Zbl 0682.68014)
蔡佳珍;佩奇,罗伯特 通过定点计算进行程序推导。 (英语) Zbl 0681.68020号 科学。计算。程序。 11,第3期,197-261(1989).MSC公司:60年第68季度 68号01 68瓦99 68第05页 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{J.Cai}和\textit{R.Paige},科学。计算。程序。11,第3号,197--261(1989;Zbl 0681.68020) 全文: 内政部
雅普·范德沃德 玩花样,搜索字符串。 (英语) Zbl 0679.68018号 科学。计算。程序。 第3期第12卷,177-190年(1989年).MSC公司:68号01 68页第10页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van der Woude},科学。计算。程序。12,第3号,177--190(1989;Zbl 0679.68018) 全文: 内政部
R.S.伯德。;J·吉本斯。;琼斯,G。 模式匹配算法的形式化推导。 (英语) Zbl 0679.68011号 科学。计算。程序。 12,第2期,93-104(1989). 审核人:L.布里姆 MSC公司:68号01 60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Bird}等人,《科学》。计算。程序。12,No.2,93--104(1989;Zbl 0679.68011) 全文: 内政部
亨克·阿尔布拉斯 属性化程序树的单程转换。 (英语) Zbl 0598.68013号 学报信息。 24, 299-352 (1987).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Alblas},《信息学报》24,299--352(1987;Zbl 0598.68013) 全文: 内政部
道格拉斯·史密斯。 分治算法的自顶向下综合。 (英语) Zbl 0573.68053号 Artif公司。智力。 27, 43-96 (1985).MSC公司:68T20型 68N99型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Smith},阿蒂夫。智力。27、43——96(1985年;Zbl 0573.68053) 全文: 内政部
科瓦尔斯基,R。 逻辑编程与逻辑规范之间的关系。 (英语) Zbl 0549.68018号 菲洛斯。事务处理。英国皇家学会。,A类 312, 345-361 (1984).MSC公司:68问题65 60年第68季度 68T99型 68瓦99 03B10号机组 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.Kowalski},菲洛斯。事务处理。英国皇家学会。,序列号。A 312345-361(1984年;Zbl 0549.68018) 全文: 内政部
W.M.托斯基。 关于迭代编程。 (英语) Zbl 0532.68010号 IEEE传输。软件工程。 10, 175-178 (1984).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Turski},IEEE Trans。柔和。工程10,175--178(1984;Zbl 0532.68010) 全文: 内政部
亚·巴兹丁。M。 归纳推理的一些规则及其应用。 (俄语) Zbl 0516.68015号 Semiotika公司。 19, 59-89 (1982).MSC公司:60年第68季度 68瓦99 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Ya.M.Barzdin'},Semiotika Inf.19,59--89(1982;Zbl 0516.68015)
布鲁诺·库塞尔;保罗·弗朗西·扎内塔奇 属性语法和递归程序方案。一、二、。 (英语) Zbl 0481.68068号 西奥。计算。科学。 163-191235-257年(1982年).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{P.Franchi-Zannettacci},Theor。计算。科学。17、163--191、235--257(1982年;Zbl 0481.68068) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 统一算法的演绎综合。 (英语) 兹伯利0472.68054 科学。计算。程序。 1, 5-48 (1981).MSC公司:68吨15 68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},科学。计算。程序。1、5--48(1981年;Zbl 0472.68054) 全文: 内政部
亨克·阿尔布拉斯 过程中属性求值的特征。 (英语) Zbl 0454.68088号 学报信息。 16, 427-464 (1981).MSC公司:65年第68季度 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Alblas},《信息学报》16,427--464(1981;Zbl 0454.68088) 全文: 内政部
瓦尔加,L。 抽象算法的合成。 (英语) 兹伯利0461.68014 《网络学报》。 5, 59-76 (1980).MSC公司:60年第68季度 68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{L.Varga},《网络学报》。5、59--76(1980年;Zbl 0461.68014)
Aravind K.乔希。;莱昂·莱维。;Yueh,Kang(康岳) 编程语言中的局部约束。一: 语法。 (英语) Zbl 0441.68086号 西奥。计算。科学。 12, 265-290 (1980).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Joshi}等人,Theor。计算。科学。12、265--290(1980年;Zbl 0441.68086) 全文: 内政部
D.D.科恩。;J.W.格雷厄姆。;J.W.韦尔奇。;卢塞纳,C.J.P。 一种以数据为导向的程序构造方法。 (英语) Zbl 0427.68021号 软质。,实际。专家。 10, 355-372 (1980).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Cowan}等人,软件。,实际。专家。10、355--372(1980;Zbl 0427.68021) 全文: 内政部
Carlos J.P.卢塞纳。;塔里西奥·H·C·佩奎诺。 使用数据类型的程序推导:一个案例研究。 (英语) Zbl 0428.68023号 IEEE传输。软件工程。 5, 586-592 (1979).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.J.P.Lucena}和\textit{T.H.C.Pequeno},IEEE Trans。柔和。工程5,586--592(1979;Zbl 0428.68023) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 合成:梦想\(\Rightarrow\)节目。 (英语) Zbl 0416.68013号 IEEE传输。软件工程。 5, 294-328 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},IEEE Trans。柔和。工程5,294--328(1979;Zbl 0416.68013) 全文: 内政部
范·兰斯维德(Axel van Lamsweerde);米歇尔·辛佐夫 强正确并发程序的形式化推导。 (英语) Zbl 0389.68012号 学报信息。 12, 1-31 (1979).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.van Lamsweerde}和\textit{M.Sintzoff},《学报》第12期,第1-31期(1979年;Zbl 0389.68012) 全文: 内政部