德夫罗伊,L。 树高分析中的分枝过程。 (英语) Zbl 0643.60065号 学报信息。 24, 277-298 (1987).MSC公司:60J80型 68第20页 60F99型 PDF格式BibTeX公司 XML格式引用 \textit{L.Devroye},Acta Inf.24277-298(1987年;兹bl 0643.60065) 全文: 内政部
乌苏拉·施密特 长期不可避免的模式。 (英语) 兹伯利0642.68138 学报信息。 24, 433-445 (1987).MSC公司:68兰特 05年05月05日 2005年5月20日 20立方米 94A29号 PDF格式BibTeX公司 XML格式引用 \textit{U.Schmidt},Acta Inf.2433-445(1987年;兹bl 0642.68138) 全文: 内政部
伯纳德·夏泽尔 使用隐式集合表示进行几何搜索的一些技术。 (英语) Zbl 0642.68115号 学报信息。 24, 565-582 (1987).MSC公司:68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Chazelle},《信息学报》24,565--582(1987;Zbl 0642.68115) 全文: 内政部
爱德华·A·本德。;谢丽尔·普雷格(Cheryl E.Praeger)。;尼古拉斯·沃马尔德。 最优最坏情况树。 (英语) Zbl 0642.68113号 学报信息。 24, 475-489 (1987).MSC公司:68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Bender}等人,《信息学报》24,475--489(1987;Zbl 0642.68113) 全文: 内政部
S.Kiran Kumar;C.Pandu Rangan LCS问题的线性空间算法。 (英语) Zbl 0642.68066号 学报信息。 24, 353-362 (1987).MSC公司:65年第68季度 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Kumar}和\textit{C.P.Rangan},《学报信息》24,353--362(1987;Zbl 0642.68066) 全文: 内政部
洛科·德尼古拉 过渡系统的扩展等价。 (英语) Zbl 0636.68069号 学报信息。 24, 211-237 (1987). 审核人:A.马吉奥拉·谢蒂尼 MSC公司:68问题85 2005年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola},《信息学报》24,211--237(1987;Zbl 0636.68069) 全文: 内政部
劳伦斯·A·哈里斯。 无限制语法的SLR(1)和LALR(1)解析。 (英语) Zbl 0634.68080号 学报信息。 24, 191-209 (1987). 审核人:L.šerbţna \355]i MSC公司:第68页第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Harris},《信息学报》24,191--209(1987;Zbl 0634.68080) 全文: 内政部
黄,蔡黄;克里斯蒂安·伦戈尔 程序脉动实现的派生。 (英语) Zbl 0633.68045号 学报信息。 24, 595-632 (1987). 审核人:J.霍姆科维奇 MSC公司:68问题80 15-04 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Huang}和\textit{C.Lengauer},《学报》第24期,第595--632页(1987年;Zbl 0633.68045) 全文: 内政部
肯普夫,M。;拜耳,R。;乌尔里奇·根策尔 位置树从左到右的时间最优构造。 (英语) Zbl 0627.68039号 学报信息。 24, 461-474 (1987).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kempf}等人,《信息学报》24,461--474(1987;Zbl 0627.68039) 全文: 内政部
塞缪尔·卡明 堆栈的表达理论。 (英语) 兹比尔062668006 学报信息。 24, 695-709 (1987).MSC公司:68号01 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kamin},Acta Inf.24695-709(1987年;Zbl 062668006) 全文: 内政部
安德烈·杜达;塔德乌兹·查科尔斯基 fork和join同步原语的性能评估。 (英语) Zbl 0625.68025号 学报信息。 24525-553(1987年).MSC公司:68N25号 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Duda}和\textit{T.Czachórski},《信息学报》24,525--553(1987;Zbl 0625.68025) 全文: 内政部
Loizou,G。;托尼什,P。 关系数据库中的无损性和项目连接可构造性。 (英语) Zbl 0623.68078号 学报信息。 24, 131-144 (1987).MSC公司:68第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Loizou}和\textit{P.Thanisch},《学报》第24期,第131-144页(1987年;Zbl 0623.68078) 全文: 内政部
曼弗雷德·昆德 网状连接体系结构上的排序下限。 (英语) Zbl 0623.68060号 学报信息。 24, 121-130 (1987).MSC公司:68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunde},《学报信息》24,121--130(1987;Zbl 0623.68060) 全文: 内政部
斯潘科夫斯基,沃伊切赫 对争用解决算法的分析。另一种方法。 (英语) Zbl 0623.68035号 学报信息。 24, 173-190 (1987).MSC公司:68平方米 94A05级 PDF格式BibTeX公司 XML格式引用 \textit{W.Szpankowski},《信息学报》24,173--190(1987;Zbl 0623.68035) 全文: 内政部
卡斯滕斯,美国。 属性的生命周期分析。 (英语) Zbl 0615.68056号 学报信息。 24, 633-651 (1987).MSC公司:第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{U.Kastens},Acta Inf.24,633--651(1987;Zbl 0615.68056) 全文: 内政部
保罗·E·邓恩。 关于k价图的一个结果及其在图嵌入问题中的应用。 (英语) Zbl 0615.05027号 学报信息。 24, 447-459 (1987).MSC公司:05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Dunne},Acta Inf.24,447--459(1987;Zbl 0615.05027) 全文: 内政部
苏珊·霍维茨;阿兰·德默斯;蒂姆·泰特鲍姆 数据流分析的一种有效的通用迭代算法。 (英语) Zbl 0612.68015号 学报信息。 24, 679-694 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Horwitz}等人,《信息学报》24,679--694(1987;Zbl 0612.68015) 全文: 内政部
沃尔特·昆托;加斯康,何塞·路易斯 提高广义二叉搜索树的时间和空间效率。 (英语) 兹比尔0611.68040 学报信息。 24, 583-594 (1987).MSC公司:68页第10页 65年第68季度 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{W.Cunto}和\textit{J.L.Gascon},Acta Inf.24583--594(1987;兹bl 0611.68040) 全文: 内政部
Leung,C.H.C。 分析一般分段线性存储中的空间分配。 (英语) Zbl 0608.68018号 学报信息。 24, 93-104 (1987).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{C.H.C.Leung},《信息学报》第24期,第93-104页(1987年;Zbl 0608.68018) 全文: 内政部
Masato Takeichi 部分参数化消除了数据结构的多次遍历。 (英语) Zbl 0608.68008号 学报信息。 24, 57-77 (1987).MSC公司:68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Takeichi},《信息学报》24,57--77(1987;Zbl 0608.68008) 全文: 内政部
Shyamal K·乔杜里。;Srimani,Pradip K。 加权伙伴系统的最坏情况性能。 (英语) Zbl 0607.68021号 学报信息。 24, 555-564 (1987).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Chowdhury}和\textit{P.K.Srimani},Acta Inf.24555--564(1987;Zbl 0607.68021) 全文: 内政部
德·巴克尔,J.W。;梅耶,J.-J.Ch。 元素并发流语义中的顺序和度量。 (英语) Zbl 0607.68014号 学报信息。 24491-511(1987年).MSC公司:68N25号 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和textit{J.J.Ch.Meyer},学报24,491--511(1987;Zbl 0607.68014) 全文: 内政部
Lao,Marek J。 基于组合器的递归函数编译,具有不同的参数传递模式。 (英语) Zbl 0607.68013号 学报信息。 24, 653-678 (1987).MSC公司:68N25号 60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Lao},Acta Inf.24,653--678(1987;Zbl 0607.68013) 全文: 内政部
约瑟夫·彼得斯(Joseph G.Peters)。;拉里·鲁道夫 子集和和和背包问题的并行逼近方案。 (英语) Zbl 0606.68037号 学报信息。 24, 417-432 (1987).MSC公司:65年第68季度 90立方厘米 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Peters}和\textit{L.Rudolph},《学报年鉴》24,417--432(1987;Zbl 0606.68037) 全文: 内政部
Błażewicz,J。;西库比亚克。;Röck,H。;斯瓦尔基特,J。 利用并行处理器和资源约束最小化平均流时间。 (英语) Zbl 0606.68030号 学报信息。 24, 513-524 (1987).MSC公司:68平方米 90B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Błażewicz}等人,《学报》第24期,第513--524页(1987年;Zbl 0606.68030) 全文: 内政部
贝恩德·贝克尔 一种易于测试的最佳时间VLSI乘法器。 (英语) Zbl 0602.94019号 学报信息。 24, 363-380 (1987).MSC公司:94立方厘米10 94C15号机组 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Becker},《学报信息》24,363--380(1987;Zbl 0602.94019) 全文: 内政部
亨克·阿尔布拉斯 属性化程序树的单程转换。 (英语) 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 0598.03018号 学报信息。 24, 381-393 (1987).MSC公司:03B50号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Hoogewijs},《信息学报》24,381--393(1987;Zbl 0598.03018) 全文: 内政部
Stephan Heilbrunner先生;斯特芬·Hölldobler 规范理论的统一与匹配问题的不可判定性。 (英语) Zbl 0595.68031号 学报信息。 24, 157-171 (1987).MSC公司:68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Heilbrunner}和\textit{S.Hölldobler},Acta Inf.24157-171(1987年;Zbl 0595.68031) 全文: 内政部
阿里·米莉;朱尔斯·德沙奈斯;法塔玛·米莉 确定性程序设计的关系启发式。 (英语) 兹比尔0595.68018 学报信息。 24, 239-276 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mili}等人,Acta Inf.24239-276(1987;兹bl 0595.68018) 全文: 内政部
托马斯·穆尔塔格。 Levin-Gries CSP程序证明中不干涉的冗余证明。 (英语) Zbl 0595.68017号 学报信息。 24, 145-156 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.P.Murtagh},《信息学报》24,145--156(1987;Zbl 0595.68017) 全文: 内政部
迪帕克·卡普尔;巴利亚特·纳伦德兰;张汉涛 关于项重写系统的充分完备性及其相关性质。 (英语) Zbl 0594.68035号 学报信息。 24, 395-415 (1987).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,《信息学报》24,395--415(1987;Zbl 0594.68035) 全文: 内政部
奥德·戈尔德雷奇;Shrra,刘巴 在链接失败的环中选举领导者。 (英语) Zbl 0591.68021号 学报信息。 24, 79-91 (1987).MSC公司:68N25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}和\textit{L.Shrra},《信息学报》24,79-91(1987;Zbl 0591.68021) 全文: 内政部
里扎德·贾尼基 具有优先级关系的并发系统的形式化语义。 (英语) Zbl 0589.68021号 学报信息。 24, 33-55 (1987).MSC公司:68N25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki},Acta Inf.24,33--55(1987;Zbl 0589.68021) 全文: 内政部
维迪亚桑卡,K。 可串行化的广义理论。 (英语) Zbl 0588.68050号 学报信息。 24, 105-119 (1987).MSC公司:68第20页 PDF格式BibTeX公司 XML格式引用 \textit{K.Vidyasankar},《学报》第24期、第105期至第119期(1987年;Zbl 0588.68050) 全文: 内政部
帕特里克·库索;拉迪亚·库索特 有时=总是+递归\(\equiv\)总是。关于证明程序必然性的断续断言和不变断言方法的等价性。 (英语) Zbl 0586.68019号 学报信息。 24, 1-31 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}和\textit{R.Cousot},《学报》第24、1-31期(1987年;Zbl 0586.68019) 全文: 内政部