佐藤富田;哈达,武史 具有可旋转物品的二维在线装箱问题。 (英语) Zbl 1061.68057号 理论。计算。科学。 289,第2期,939-952(2002).MSC公司:2010年第68季度 90C27型 68瓦40 90B80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Fujita}和\textit{T.Hada},Theor。计算。科学。289,第2号,939--952(2002;Zbl 1061.68057) 全文: DOI程序
弗朗茨·奥伦哈默尔;直纪加藤;Hiromichi小岛;Makoto Ohsaki;徐银峰 近似多边形中的均匀三角形网格。 (英语) Zbl 1061.68162号 理论。计算。科学。 289,第2期,879-895(2002).MSC公司:68单位05 65D18天 PDF格式BibTeX公司 XML格式引用 \textit{F.Aurenhammer}等人,Theor。计算。科学。289,第2号,879--895(2002;Zbl 1061.68162) 全文: DOI程序
埃拉姆,T。;莫兰,S。;扎克斯,S。 支持最短路径间隔路由的网络特征的复杂性。 (英语) Zbl 1061.68009号 理论。计算。科学。 289,第1期,85-104(2002).MSC公司:68M10个 2017年第68季度 65年第68季度 90B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Eilam}等人,Theor。计算。科学。289,第1号,85-104(2002年;兹bl 1061.68009) 全文: DOI程序
斯莱尼,沃尔夫冈 Sim-like图Ramsey回避游戏的终局问题是PSPACE完成的。 (英语) Zbl 1061.05090号 理论。计算。科学。 289,第1期,829-843(2002).MSC公司:05C85号 91A43型 05元55分 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{W.Slany},Theor。计算。科学。289,第1号,829--843(2002;Zbl 1061.05090) 全文: DOI程序
查尔斯·奈斯;斯潘科夫斯基,沃伊切赫 二叉搜索树的高度:极限分布视角。 (英语) Zbl 1061.68039号 理论。计算。科学。 289,第1期,649-703(2002).MSC公司:68页第10页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.Knessl}和\textit{W.Szpankowski},Theor。计算。科学。289,第1号,649--703(2002;Zbl 1061.68039) 全文: DOI程序
罗伯特·鲍姆加特纳;乔治·戈特洛布 命题默认逻辑变得更容易:模型检查的计算复杂性。 (英语) Zbl 1061.68068号 理论。计算。科学。 289,第1期,591-627(2002).MSC公司:65年第68季度 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Baumgartner}和\textit{G.Gottlob},Theor。计算。科学。289,第1号,591--627(2002;Zbl 1061.68068) 全文: DOI程序
莱斯利·瓦利安特(Leslie G.Valiant)。 火柴门的表现力。 (英语) Zbl 1051.68064号 理论。计算。科学。 289,第1期,457-471(2002).MSC公司:2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{L.G.Valiant},Theor(西奥)。计算。科学。289,编号1457-471(2002年;兹bl 1051.68064) 全文: DOI程序
亨宁费尔瑙 甚至线性简单矩阵语言:形式语言属性和语法推理。 (英语) Zbl 1062.68065号 理论。计算。科学。 289,第1期,425-456(2002).MSC公司:68问题32 65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \文本{H.费尔瑙},Theor。计算。科学。289,第1号,425--456(2002;Zbl 1062.68065) 全文: DOI程序
英国人,哈吉特;什洛莫·莫兰;加迪·陶本费尔德 公共数据结构:计数器作为特例。 (英语) Zbl 1061.68034号 理论。计算。科学。 289,第1期,401-423(2002).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.Brit}等人,Theor。计算。科学。289,第1号,401--423(2002;Zbl 1061.68034) 全文: DOI程序
沃尔夫冈·贝恩(Wolfgang W.Bein)。;马雷克·克罗巴克;劳伦斯·拉莫尔。 飞机上的3服务器问题。 (英语) Zbl 1061.68180号 理论。计算。科学。 289,第1期,335-354(2002).MSC公司:68宽10 第68季度10 65年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{W.W.Bein}等人,Theor。计算。科学。289,编号1,335--354(2002;Zbl 1061.68180) 全文: DOI程序
安德烈亚斯·克莱因;马丁·库特里布 实时和线性时间范围内的确定性图灵机。 (英语) Zbl 1061.68053号 理论。计算。科学。 289,第1期,253-275(2002).MSC公司:2005年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Klein}和\textit{M.Kutrib},Theor。计算。科学。289,第1号,253--275(2002;Zbl 1061.68053) 全文: DOI程序
医学博士阿特金森。;墨菲,M.M。;北卡罗来纳州鲁什库克。 使用两个有序堆栈进行排序。 (英语) Zbl 1061.68037号 理论。计算。科学。 289,编号1205-223(2002).MSC公司:68页第10页 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Atkinson}等人,Theor。计算。科学。289,第1号,205--223(2002;Zbl 1061.68037) 全文: DOI程序
奥斯卡·H·伊巴拉。;苏建文 用其他数据结构扩充离散时间自动机。 (英语) Zbl 1061.68094号 理论。计算。科学。 289,第1期,191-204(2002).MSC公司:65年第68季度 60年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{J.Su},Theor。计算。科学。289,第1号,191--204(2002;Zbl 1061.68094) 全文: DOI程序
奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒(Richard A.Kemmer)。 计数器和验证问题。 (英语) Zbl 1061.68095号 理论。计算。科学。 289,第1期,165-189(2002).MSC公司:65年第68季度 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人,Theor。计算。科学。289,第1号,165--189(2002;Zbl 1061.68095) 全文: DOI程序
查姆帕诺,J.-M。;D.齐亚迪。 正则导数、偏导数和有限自动机构造。 (英语) Zbl 1061.68109号 理论。计算。科学。 289,第1期,137-163(2002).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Champarnaud}和\textit{D.Ziadi},Theor。计算。科学。289,第1号,137--163(2002;Zbl 1061.68109) 全文: DOI程序
A.巴贝。;冯·海斯勒,F。 抽取不变序列和数字集的对称性。 (英语) Zbl 1061.11011号 理论。计算。科学。 289,第1期,第105-136页(2002年).MSC公司:11B85号 11A63型 37B15号机组 65年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Barbé}和\textit{F.von Haeseler},Theor。计算。科学。289,编号1,105--136(2002;Zbl 1061.11011) 全文: DOI程序
弗兰克·斯蒂芬;托马斯·齐格曼 学习非递归函数的近似类。 (英语) 兹比尔1061.68085 理论。计算。科学。 288,第2期,309-341(2002).MSC公司:68问题32 03D25号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{F.Stephan}和\textit{T.Zeugmann},Theor。计算。科学。288,第2号,309--341(2002;Zbl 1061.68085) 全文: DOI程序
内德·H·比肖蒂。;纳达夫·埃伦;埃亚尔·库什利维茨 PAC学习时发出刺耳的噪音。 (英语) 兹比尔1061.68081 理论。计算。科学。 288,第2期,255-275(2002).MSC公司:68问题32 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{N.H.Bshouty}等人,Theor。计算。科学。288,第2号,255--275(2002;Zbl 1061.68081) 全文: DOI程序
Daniele V.菲诺基亚罗。;马可·佩莱格里尼 关于计算高维欧氏空间中点集的直径。 (英语) Zbl 1061.68166号 理论。计算。科学。 287,第2期,501-514(2002).MSC公司:68单位05 第52页第55页 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Finocchiaro}和\textit{M.Pellegrini},Theor。计算。科学。287,第2号,501--514(2002;Zbl 1061.68166) 全文: DOI程序
阿扎尔,约西;奥德雷格夫;吉·斯加尔;Gerhard J.Woeginger。 脱机临时任务分配。 (英语) Zbl 1061.90043号 理论。计算。科学。 287,第2期,419-428(2002).MSC公司:90B35型 68平方米 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{Y.Azar}等人,Theor。计算。科学。287,No.2,419--428(2002;Zbl 1061.90043) 全文: DOI程序
埃里克·安德森。;Kirsten Hildrum公司;安娜·卡林(Anna R.Karlin)。;拉萨拉,四月;迈克尔·萨克斯 列表更新和工作函数算法。 (英语) Zbl 1061.68056号 理论。计算。科学。 287,第2期,393-418(2002).MSC公司:2010年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Anderson}等人,Theor。计算。科学。287,No.2,393--418(2002;Zbl 1061.68056) 全文: DOI程序
马丁·阿莫斯;佩恩,古奥热;格列泽戈兹·罗森贝格;阿托·萨洛马 DNA计算理论专题。 (英语) Zbl 1061.68048号 理论。计算。科学。 287,第1期,第3-38页(2002年).MSC公司:2005年第68季度 2010年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Amos}等人,Theor。计算。科学。287,No.1,3--38(2002;Zbl 1061.68048) 全文: DOI程序
安德烈斯·安巴尼斯;约翰·沃特鲁斯 具有量子和经典状态的双向有限自动机。 (英语) Zbl 1061.68047号 理论。计算。科学。 287,第1期,299-311(2002).MSC公司:2005年第68季度 70年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Ambainis}和\textit{J.Watrous},Theor。计算。科学。287,编号1,299--311(2002;Zbl 1061.68047) 全文: DOI程序
蒂尔·莫萨科夫斯基 将CASL与其他规范语言联系起来:机构级。 (英语) Zbl 1061.68106号 理论。计算。科学。 286,第2期,367-475(2002).MSC公司:68问题65 68号30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Mossakowski},Theor(西奥)。计算。科学。286,No.2,367--475(2002;Zbl 1061.68106) 全文: DOI程序
安德烈亚·科拉迪尼;法比奥·加杜奇 多代数和部分代数的函数语义,及其在语法中的应用。 (英语) Zbl 1061.18008号 理论。计算。科学。 286,第2期,293-322(2002).MSC公司:18 C50 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}和\textit{F.Gadducci},Theor。计算。科学。286,No.2,293--322(2002;Zbl 1061.18008) 全文: DOI程序
托马斯·博齐斯科夫斯基 结构化规范的逻辑系统。 (英语) Zbl 1061.68104号 理论。计算。科学。 286,第2期,197-245(2002).MSC公司:68问题65 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Borzyszkowski},Theor(西奥)。计算。科学。286,第2号,197--245(2002;Zbl 1061.68104) 全文: DOI程序
埃吉迪奥·阿斯泰西亚诺;米歇尔·比多特;赫莱内·基什内尔;Krieg Brückner,伯尔尼;彼得·莫塞斯(Peter D.Mosses)。;唐纳德·桑内拉;安德烈·塔莱基 CASL:通用代数规范语言。 (英语) Zbl 1061.68103号 理论。计算。科学。 286,第2期,153-196(2002).MSC公司:68问题65 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}等人,Theor。计算。科学。286,第2号,153--196(2002;Zbl 1061.68103) 全文: DOI程序
罗纳德·贝克尔;布鲁诺·西蒙;蒋,Yen-I 一种用于连续树划分的移位算法。 (英语) Zbl 1007.68205号 理论。计算。科学。 282,第2期,353-380(2002).MSC公司:68周05 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Becker}等人,Theor。计算。科学。282,第2号,353--380(2002;Zbl 1007.68205) 全文: DOI程序
帕特里克·维里 重写逻辑的等式规则。 (英语) Zbl 1001.68058号 理论。计算。科学。 285,第2期,487-517(2002).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Viry},Theor。计算。科学。285,第2号,487--517(2002;Zbl 1001.68058) 全文: DOI程序
拉兹万·迪亚科内斯库;高基町五指 CafeOBJ的逻辑基础。 (英语) Zbl 1001.68079号 理论。计算。科学。 285,第2289-318号(2002年).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{K.Futatsugi},Theor。计算。科学。285,第2号,289--318(2002;Zbl 1001.68079) 全文: DOI程序
彼得·博罗万斯克;克洛德·基什内尔;赫莱内·基什内尔;皮埃尔·埃蒂安·莫罗 从重写逻辑的角度来看,ELAN。 (英语) Zbl 1001.68057号 理论。计算。科学。 285,第2期,155-185(2002).MSC公司:2012年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Borovanskí}等人,Theor。计算。科学。285,第2号,155--185(2002;Zbl 1001.68057) 全文: DOI程序
马库斯·霍尔泽 多头有限自动机:数据依赖与数据依赖计算。 (英语) 兹伯利1016.68046 理论。计算。科学。 286,第1期,97-116(2002).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Holzer},Theor。计算。科学。286,第1号,97--116(2002;Zbl 1016.68046) 全文: DOI程序
苏拉布·卡西达什维利;约翰·格劳特 通过redex族关联无冲突的稳定过渡和事件模型。 (英语) Zbl 1016.68052号 理论。计算。科学。 286,第1期,65-95(2002).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Khasidashvili}和\textit{J.Glauert},Theor。计算。科学。286,第1号,65--95(2002;Zbl 1016.68052) 全文: DOI程序
伊丽特·迪努尔 将(SVP_{\infty})近似到近似多项式因子内是NP-hard。 (英语) Zbl 1016.68041号 理论。计算。科学。 285,第1期,55-71(2002).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥,textit{I.Dinur}。计算。科学。285,编号1,55--71(2002;Zbl 1016.68041) 全文: DOI程序
汉斯·约阿希姆·博肯豪尔;朱拉吉·赫罗姆科维奇;拉尔夫·克拉辛;塞巴斯蒂安·塞伯特;沃尔特·昂格 对困难优化任务和旅行商问题的近似稳定性概念进行了探讨。 (英语) Zbl 1094.90036号 理论。计算。科学。 285,第1期,3-24期(2002年).MSC公司:90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Böckenhauer}等人,Theor。计算。科学。285,第1号,第3--24号(2002年;Zbl 1094.90036) 全文: DOI程序
罗德尼·G·唐尼。;杰弗里·拉福特。 可计算可枚举实数的表示。 (英语) 兹伯利1039.03034 理论。计算。科学。 284,第2期,539-555(2002).MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}和\textit{G.L.LaForte},Theor。计算。科学。284,第2号,539--555(2002;Zbl 1039.03034) 全文: DOI程序
郑西忠 实数在极限和可计算算子下的闭包性质。 (英语) Zbl 1039.03035号 理论。计算。科学。 284,第2期,499-518(2002).MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \文本{X.Zheng},Theor。计算。科学。284,第2号,499--518(2002;Zbl 1039.03035) 全文: DOI程序
克里斯蒂安·卡鲁德。 Chaitin(Omega)数、Solovay机器和哥德尔不完全性。 (英语) Zbl 1042.68045号 理论。计算。科学。 284,第2期,269-277(2002).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Calude},Theor(西奥)。计算。科学。284,第2号,269--277(2002;Zbl 1042.68045) 全文: DOI程序
沃尔特·福格勒 异步系统的效率、读弧和MUTEX问题。 (英语) Zbl 1026.68099号 理论。计算。科学。 275,编号1-2589-631(2002).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{W.福格勒},Theor。计算。科学。275,编号1--2,589--631(2002;Zbl 1026.68099) 全文: DOI程序
费利斯·卡多内 递归类型等价性的共推完备性证明。 (英语) Zbl 1026.68019号 理论。计算。科学。 275,编号1-2,575-587(2002).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \提奥,textit{F.Cardone}。计算。科学。275,编号1--2,575--587(2002;Zbl 1026.68019) 全文: DOI程序
谢尔盖·沃罗比奥夫 \(尽管存在)-语境统一的方程理论是不可判定的。 (英语) 兹比尔1026.68077 理论。计算。科学。 275,编号1-2,463-479(2002).MSC公司:2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Vorobyov},Theor(西奥)。计算。科学。275,编号1--2,463--479(2002;Zbl 1026.68077) 全文: DOI程序
玛丽亚·塞萨。 通过基于相似性的SLD分辨率进行近似推理。 (英语) Zbl 1051.68045号 理论。计算。科学。 275,第1-2号,389-426(2002).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \文本{M.I.Sessa},Theor。计算。科学。275,编号1--2389--426(2002;Zbl 1051.68045) 全文: DOI程序
伊恩·斯图尔特(Iain A.Stewart)。 程序方案、数组、Lindström量词和零定律。 (英语) Zbl 1018.03023号 理论。计算。科学。 275,编号1-2,283-310(2002).MSC公司:03B70号 03C13号机组 19年第68季度 2015年第68季度 03C80号 PDF格式BibTeX公司 XML格式引用 \文本{I.A.Stewart},Theor。计算。科学。275,编号1--2,283--310(2002;Zbl 1018.03023) 全文: DOI程序
多米尼克·达根;约翰·奥斐尔 约束泛型的开放和封闭范围。 (英语) 兹比尔1026.68016 理论。计算。科学。 275,编号1-2,215-258(2002).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Duggan}和\textit{J.Ophel},Theor。计算。科学。275,编号1--2,215--258(2002;Zbl 1026.68016) 全文: DOI程序
谢尔盖·阿比特布尔;苏菲·克鲁特;米洛,托娃 异构数据的通信和翻译。 (英语) Zbl 1026.68034号 理论。计算。科学。 275,第1-2号,179-213(2002).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Abiteboul}等人,Theor。计算。科学。275,编号1--2,179-213(2002;Zbl 1026.68034) 全文: DOI程序
纳迪亚·布西 用约束弧分析Petri网中的问题。 (英语) Zbl 1026.68097号 理论。计算。科学。 275,编号1-2,127-177(2002).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \提奥,textit{N.Busi}。计算。科学。275,编号1--2,127-177(2002;Zbl 1026.68097) 全文: DOI程序
皮埃尔·卢伊斯·居里 莫里斯·尼瓦特的科学传记。(《莫里斯·尼瓦特的科学传记》。) (英语、法语) Zbl 1007.01511号 理论。计算。科学。 281,编号1-2,3-23(2002).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里},Theor。计算。科学。281,编号1--2,3--23(2002;Zbl 1007.01511) 全文: DOI程序
王永革 比较两种伪随机性方法。 (英语) Zbl 1002.68071号 理论。计算。科学。 276,编号1-2449-459(2002).MSC公司:68问题30 68第25页 PDF格式BibTeX公司 XML格式引用 \文本{Y.Wang},Theor。计算。科学。276,编号1--2,449--459(2002;Zbl 1002.68071) 全文: DOI程序
J.M.罗布森。 二叉搜索树高度矩的常量边界。 (英语) Zbl 1002.68036号 理论。计算。科学。 276,编号1-2,435-444(2002).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \文本{J.M.Robson},Theor。计算。科学。276,编号1--2,435--444(2002;Zbl 1002.68036) 全文: DOI程序
西塞隆、塞拉菲诺;加布里埃尔·迪·斯特法诺;米歇尔·弗拉米尼 静态和动态低拥塞间隔路由方案。 (英语) 兹比尔1002.68002 理论。计算。科学。 276,编号1-2,315-354(2002).MSC公司:2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{S.Cicerone}等人,Theor。计算。科学。276,编号1--2,315--354(2002;Zbl 1002.68002) 全文: DOI程序
凯·萨洛马;于盛 EDT0L结构等效性的判定。 (英语) Zbl 1002.68083号 理论。计算。科学。 276,编号1-2245-259(2002).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Salomaa}和\textit{S.Yu},Theor。计算。科学。276,编号1--2,245--259(2002;Zbl 1002.68083) 全文: DOI程序
马斌;王路生;张凯忠 计算RNA结构之间的相似性。 (英语) Zbl 1002.68058号 理论。计算。科学。 276,编号1-2,111-132(2002).MSC公司:2010年第68季度 2017年第68季度 92-08 92C40型 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ma}等人,Theor。计算。科学。276,编号1--2,111-132(2002;Zbl 1002.68058) 全文: DOI程序
文森特·布奇特;爱荷华州托丁卡 列出图的所有潜在最大团。 (英语) Zbl 1002.68104号 理论。计算。科学。 276,编号1-2,17-32(2002).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.Bouchitté}和\textit{I.Todinca},Theor。计算。科学。276,编号1--2,17-32(2002;Zbl 1002.68104) 全文: DOI程序
拉马林加姆,G。 关于稀疏求值表示。 (英语) Zbl 0996.68131号 理论。计算。科学。 277,编号1-2,119-147(2002).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \文本{G.Ramalingam},Theor。计算。科学。277,编号1--2,119-147(2002;Zbl 0996.68131) 全文: DOI程序
帕特里克·库索特 通过抽象解释对过渡系统的语义层次进行构造性设计。 (英语) Zbl 0996.68119号 理论。计算。科学。 277,编号1-2,47-103(2002).MSC公司:第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.库索特},Theor。计算。科学。277,编号1--2,47-103(2002;Zbl 0996.68119) 全文: DOI程序
戴维·诺曼(David A.Naumann)。 高阶命令式语言数据优化的合理性。 (英语) Zbl 1002.68090号 理论。计算。科学。 278,编号1-2271-301(2002).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \文本{D.A.Naumann},Theor。计算。科学。278,编号1--2,271--301(2002;Zbl 1002.68090) 全文: DOI程序
配件,梅尔文 调查逻辑编程的定点语义。 (英语) Zbl 1002.68023号 理论。计算。科学。 278,编号1-2,25-51(2002).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.配件},Theor。计算。科学。278,编号1--2,25-51(2002;Zbl 1002.68023) 全文: DOI程序
安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里 组合SOS及其以外:开放系统的联合视图。 (英语) Zbl 1014.68107号 理论。计算。科学。 280,第1-2号,163-192(2002).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人,Theor。计算。科学。280,编号1--2,163-192(2002;Zbl 1014.68107) 全文: DOI程序
科琳娜·科斯特 用于指定观测结构的联合方程方法。 (英语) Zbl 1002.68095号 理论。计算。科学。 280,编号1-2,35-68(2002).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \Theor,textit{C.Cêrstea}。计算。科学。280,编号1--2,35-68(2002;Zbl 1002.68095) 全文: DOI程序
大卫·佩勒 图表中的地方多数、联盟和垄断:综述。 (英语) Zbl 0997.68088号 理论。计算。科学。 282,第2期,231-257(2002).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \文本{D.Peleg},Theor。计算。科学。282,No.2,231--257(2002;Zbl 0997.68088) 全文: DOI程序
本特·琼森;易、王 概率过程的测试预订单可以通过仿真来表征。 (英语) Zbl 0997.68082号 理论。计算。科学。 282,第1期,33-51(2002).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{W.Yi},Theor。计算。科学。282,第1号,33--51(2002;Zbl 0997.68082) 全文: DOI程序
塞尼泽格斯,热罗 \(L(A)=L(B)\)?简化的可判定性证明。 (英语) Zbl 1050.68096号 理论。计算。科学。 281,编号1-2,555-608(2002).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Sénizergues},Theor。计算。科学。281,编号1--2,555--608(2002;Zbl 1050.68096) 全文: DOI程序
罗斯、特奥多尔 统一的语言处理方法。 (英语) Zbl 0997.68070号 理论。计算。科学。 281,第1-2号,499-536(2002).MSC公司:65年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \文本{T.Rus},Theor。计算。科学。281,编号1-2499-536(2002年;兹bl 0997.68070) 全文: DOI程序
谢尔盖·格里戈里夫 确定性理性关系的建模。 (英语) Zbl 0997.68072号 理论。计算。科学。 281,编号1-2,423-453(2002).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Grigorieff},Theor。计算。科学。281,编号1--2,423--453(2002;Zbl 0997.68072) 全文: DOI程序
保罗·加斯丁;Mislove,迈克尔 使用资源pomset的进程代数的真正并发语义。 (英语) 兹比尔0997.68081 理论。计算。科学。 281,第1-2号,369-421(2002).MSC公司:第68季度85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{M.Mislove},Theor。计算。科学。281,编号1--2,369--421(2002;Zbl 0997.68081) 全文: DOI程序
罗伯托·布鲁尼;乌戈·蒙塔纳里 用于并发的动态连接器。 (英语) Zbl 0996.68073号 理论。计算。科学。 281,编号1-2,131-176(2002).MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{U.Montanari},Theor。计算。科学。281,编号1--2,131--176(2002;Zbl 0996.68073) 全文: DOI程序
阿亚拉,R。;Domínguez,E。;弗朗西斯,A.R。;A.昆特罗。 弱照明功能和强26-表面。 (英语) Zbl 1050.68144号 理论。计算。科学。 283,第1期,29-66(2002).MSC公司:68单位05 PDF格式BibTeX公司 XML格式引用 \textit{R.Ayala}等人,Theor。计算。科学。283,编号1,29--66(2002;Zbl 1050.68144) 全文: DOI程序
马提亚斯·奥特;弗兰克·斯蒂芬 通过超鲁棒学习避免编码技巧。 (英语) Zbl 0997.68097号 理论。计算。科学。 284,第1期,161-180(2002).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ott}和\textit{F.Stephan},Theor。计算。科学。284,第1号,161--180(2002;Zbl 0997.68097) 全文: DOI程序
奈杰尔·达菲;大卫·赫尔姆博尔德 利用弱势学习者的几何方法。 (英语) Zbl 0997.68166号 理论。计算。科学。 284,第1期,67-108(2002).MSC公司:68周05 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{N.Duffy}和\textit{D.Helmbold},Theor。计算。科学。284,编号1,67--108(2002;Zbl 0997.68166) 全文: DOI程序
彼得·L·巴特利特。;Shai Ben-David公司 神经网络近似问题的硬度结果。 (英语) Zbl 0997.68098号 理论。计算。科学。 284,第1期,53-66(2002).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{P.L.Bartlett}和\textit{S.Ben-David},Theor。计算。科学。284,编号1,53--66(2002;Zbl 0997.68098) 全文: DOI程序
很好,Shai;吉拉德·巴赫拉赫,冉;伊莱·沙米尔 委员会查询、线性分离和随机漫步。 (英语) Zbl 1050.68118号 理论。计算。科学。 284,第1期,25-51(2002).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Fine}等人,Theor。计算。科学。284,第1号,25-51(2002年;兹bl 1050.68118) 全文: DOI程序
彼得·休厄尔 从重写规则到互模拟同余。 (英语) Zbl 0992.68122号 理论。计算。科学。 274,编号1-2,183-230(2002).MSC公司:2012年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \提奥,textit{P.Sewell}。计算。科学。274,编号1-2183-230(2002年;兹bl 0992.68122) 全文: DOI程序
维罗尼卡·贝彻;圣地亚哥菲格拉 一个可计算的绝对正态数的例子。 (英语) Zbl 1002.11064号 理论。计算。科学。 270,第1-2号,947-958(2002).MSC公司:11路16号 03天80 68问题30 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Becher}和\textit{S.Figueira},Theor。计算。科学。270,编号1--2,947--958(2002;Zbl 1002.11064) 全文: DOI程序
迈克尔·德莫塔 二叉搜索树高度的方差。 (英语) 兹比尔0988.68059 理论。计算。科学。 270,编号1-2,913-919(2002).MSC公司:68页第10页 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{M.Drmota},Theor。计算。科学。270,编号1--2,913--919(2002;Zbl 0988.68059) 全文: DOI程序
Jens Stoye;丹·古斯菲尔德 使用后缀树简单灵活地检测连续重复。 (英语) Zbl 0988.68058号 理论。计算。科学。 270,编号1-2,843-856(2002).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.Stoye}和\textit{D.Gusfield},Theor。计算。科学。270,编号1--2,843--856(2002;Zbl 0988.68058) 全文: DOI程序
布希,科斯塔斯;Demetriou,新植物;莫里斯·赫利希;马里奥斯·马夫罗尼科拉斯 递增和递减的阈值计数器。 (英语) Zbl 0988.68076号 理论。计算。科学。 270,编号1-2,811-826(2002).MSC公司:2010年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.Busch}等人,Theor。计算。科学。270,编号1--2,811--826(2002;Zbl 0988.68076) 全文: DOI程序
川佐岩本;富野部Hatsuyama;盛田贤一;Katsunobu Imai 细胞自动机中的可构造函数及其在层次结果中的应用。 (英语) 兹伯利0988.68114 理论。计算。科学。 270,第1-2号,797-809(2002).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{C.Iwamoto}等人,Theor。计算。科学。270,编号1--2,797--809(2002;Zbl 0988.68114) 全文: DOI程序
格奥尔格·戈特洛布;尼古拉·利昂;弗朗西斯科·斯卡切罗 正在计算LOGCFL证书。 (英语) Zbl 0992.68062号 理论。计算。科学。 270,编号1-2,761-777(2002).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人,Theor。计算。科学。270,编号1--2,761--777(2002;Zbl 0992.68062) 全文: DOI程序
张,兰;井上,Katsushi;阿基拉·伊藤;王,岳 概率回弹图灵机。 (英语) Zbl 0988.68072号 理论。计算。科学。 270,第1-2号,739-760(2002).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,Theor。计算。科学。270,编号1--2739-760(2002;Zbl 0988.68072) 全文: DOI程序
安东·库切拉;理查德·迈尔 有限状态系统与BPA或赋范BPP之间的弱双相似性在多项式时间内是可判定的。 (英语) Zbl 0988.68118号 理论。计算。科学。 270,编号1-2,677-700(2002).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera}和\textit{R.Mayr},Theor。计算。科学。270,编号1-2677-700(2002年;兹bl 0988.68118) 全文: DOI程序
阿诺·杜兰德;米基·赫尔曼;劳伦特·朱班 关于识别线性丢番图系统希尔伯特基的复杂性。 (英语) Zbl 0988.68083号 理论。计算。科学。 270,编号1-2,625-642(2002).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Durand}等人,Theor。计算。科学。270,编号1--2,625--642(2002;Zbl 0988.68083) 全文: DOI程序
亚历山德拉·切鲁比尼;克雷斯皮·雷吉齐,斯特凡诺;圣彼得罗,皮耶路易吉 关联语言描述。 (英语) Zbl 0988.68100号 理论。计算。科学。 270,第1-2号,463-491(2002).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cherubini}等人,Theor。计算。科学。270,编号1--2,463--491(2002;Zbl 0988.68100) 全文: DOI程序
基辅藤村 三维移动障碍中的时间-分钟路径。 (英语) Zbl 0988.68168号 理论。计算。科学。 270,编号1-2,421-440(2002).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.藤村},Theor。计算。科学。270,编号1--2421--440(2002;Zbl 0988.68168) 全文: DOI程序
Herley,Kieran T。;安德烈亚·皮埃特拉卡普里纳;盖皮诺·普奇 确定性并行回溯搜索。 (英语) Zbl 0984.68205号 理论。计算。科学。 270,第1-2号,第309-324页(2002年).MSC公司:68宽10 PDF格式BibTeX公司 XML格式引用 \textit{K.T.Herley}等人,Theor。计算。科学。270,编号1--2,309--324(2002;Zbl 0984.68205) 全文: DOI程序
凯斯,约翰;桑杰·贾恩;曼达扬·苏拉吉 假设空间中的控制结构:对学习的影响。 (英语) Zbl 0984.68211号 理论。计算。科学。 270,第1-2号,287-308(2002).MSC公司:68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{J.Case}等人,Theor。计算。科学。270,编号1--2,287--308(2002;Zbl 0984.68211) 全文: DOI程序
梅纳德·波加德 语言结构异常的计算。 (英语) Zbl 0984.68076号 理论。计算。科学。 270,第1-2号,205-222(2002).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Bourgade},Theor。计算。科学。270,编号1--2,205-222(2002;Zbl 0984.68076) 全文: DOI程序
塔尔莫乌斯塔卢;瓦尔莫·维尼 直觉自然演绎中的最小不动点和最大不动点。 (英语) Zbl 0984.68136号 理论。计算。科学。 272,编号1-2,315-339(2002).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Uustalu}和\textit{V.Vene},Theor。计算。科学。272,编号1--2,315--339(2002;Zbl 0984.68136) 全文: DOI程序
谢尔盖·格里戈里夫;Jean-Yves玛丽恩 科尔莫戈洛夫复杂性和非决定论。 (英语) Zbl 0982.68076号 理论。计算。科学。 271,编号1-2151-180(2002).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.Grigorieff}和\textit{J.-Y.Marion},Theor。计算。科学。271,编号1--2,151-180(2002;Zbl 0982.68076) 全文: DOI程序
布鲁诺·杜兰德;亚历山大·沈;尼古拉·维雷沙金 可计算序列的描述性复杂性。 (英语) Zbl 0982.68074号 理论。计算。科学。 271,编号1-2,47-58(2002).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{B.Durand}等人,Theor。计算。科学。271,编号1--2,47-58(2002;Zbl 0982.68074) 全文: DOI程序
克里斯蒂安·卡鲁德。 随机实的一个特征。 (英语) Zbl 0992.68080号 理论。计算。科学。 271,编号1-2,3-14(2002).MSC公司:68问题30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Calude},Theor(西奥)。计算。科学。271,编号1--2,3--14(2002;Zbl 0992.68080) 全文: DOI程序