诺加·阿龙;安德烈·林加;马丁·沃伦 逼近最大团次和一些子图同胚问题。 (英语) Zbl 1162.05342号 西奥。计算。科学。 374,编号1-3,149-158(2007).MSC公司:05C70号 68周25 05C83号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Alon}等人,Theor。计算。科学。374,编号1--3,149-158(2007;Zbl 1162.05342) 全文: DOI程序
德克·斯特罗曼 词缀数组数据结构及其在RNA二级结构分析中的应用。 (英语) Zbl 1146.68358号 西奥。计算。科学。 389,编号1-2,278-294(2007).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.斯特罗曼},Theor。计算。科学。389,编号1--2,278--294(2007;Zbl 1146.68358) 全文: DOI程序
刘晓飞;赵坤茂 对在线拓扑排序的Katriel-Bodlaender算法的严密分析。 (英语) Zbl 1143.68067号 西奥。计算。科学。 389,编号1-2,182-189(2007).MSC公司:68瓦40 05C20号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{H.-F.Liu}和\textit{K.-M.Chao},Theor。计算。科学。389,编号1--2,182-189(2007;Zbl 1143.68067) 全文: DOI程序
帕斯卡·科伊兰;佩里费尔,西尔万 算术电路中两个问题的复杂性。 (英语) Zbl 1154.68564号 西奥。计算。科学。 389,编号1-2,172-181(2007).MSC公司:68周05 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Koiran}和\textit{S.Perifel},Theor。计算。科学。389,编号1--2,172-181(2007;Zbl 1154.68564) 全文: DOI程序
托马斯·尤金斯基 关于与安全问题相关的语法的复杂性。 (英语) Zbl 1143.68028号 西奥。计算。科学。 389,编号1-2,56-72(2007).MSC公司:2012年第68季度 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \Theor,textit{T.Jurdziñski}。计算。科学。389,编号1--2,56-72(2007;Zbl 1143.68028) 全文: DOI程序
吉安卡洛,R。;A.雷斯蒂沃。;西奥蒂诺,M。 通过组合优化,从第一原理到Burrows和Wheeler变换及其他。 (英语) Zbl 1144.68019号 西奥。计算。科学。 387,第3期,第236-248页(2007年).MSC公司:68页30 68兰特 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Giancarlo}等人,Theor。计算。科学。387,第3号,236--248(2007;Zbl 1144.68019) 全文: DOI程序
赫尔曼·格鲁伯;马库斯·霍尔泽;马丁·库特里布 希格曼·海恩斯集的大小。 (英语) 兹比尔1143.68035 西奥。计算。科学。 387,第2期,167-176(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gruber}等人,Theor。计算。科学。387,第2号,167--176(2007;Zbl 1143.68035) 全文: DOI程序
弗兰齐斯卡·比格勒;伊恩·麦克奎伦;凯·萨洛马 深度同步导致的无限层次。 (英语) Zbl 1143.68026号 西奥。计算。科学。 387,第2期,113-124(2007).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Biegler}等人,Theor。计算。科学。387,第2号,113--124(2007;Zbl 1143.68026) 全文: DOI程序
桑杰·贾恩;Efim金伯 分组学习多种语言。 (英语) Zbl 1143.68022号 西奥。计算。科学。 387,第1号,67-76(2007).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}和\textit{E.Kinber},Theor。计算。科学。387,编号1,67--76(2007;Zbl 1143.68022) 全文: DOI程序
桑杰·贾恩;斯特芬·兰格;桑德拉·齐勒斯 从示例和查询中学习语言的一般比较。 (英语) Zbl 1143.68023号 西奥。计算。科学。 387,第1号,51-66(2007).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,Theor。计算。科学。387,编号1,51--66(2007;Zbl 1143.68023) 全文: DOI程序
罗特姆·本内特;内德·H·比肖蒂。 利用腐败的神谕高效地学习属性。 (英语) Zbl 1143.68021号 西奥。计算。科学。 387,第1号,32-50(2007).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{R.Bennet}和\textit{N.H.Bshouty},Theor。计算。科学。387,编号1,32--50(2007;Zbl 1143.68021) 全文: DOI程序
奥尔本庞塞;范德兹瓦格,马克B。 贝尔纳普的逻辑和条件组合。 (英语) Zbl 1179.03029号 西奥。计算。科学。 388,编号1-3,319-336(2007).MSC公司:03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ponse}和\textit{M.B.van der Zwaag},Theor。计算。科学。388,编号1--3,319--336(2007;Zbl 1179.03029) 全文: DOI程序
克里希南德·查特吉 带有尾部目标的并发游戏。 (英语) Zbl 1177.91031号 西奥。计算。科学。 388,编号1-3,181-198(2007).MSC公司:91A15型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee},Theor(西奥)。计算。科学。388,编号1-3181-198(2007年;兹bl 1177.91031) 全文: DOI程序
多米尼克·杰尼特;加勒·拉盖托 多处理机上硬实时系统的WCET空闲时间分析:基于正则语言的模型。 (英语) Zbl 1143.68034号 西奥。计算。科学。 388,编号1-3,26-52(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Geniet}和\textit{G.Largeteau},Theor。计算。科学。388,编号1--3,26-52(2007;Zbl 1143.68034) 全文: DOI程序 哈尔
鲍尔丹,P。;A.Braciali。;R.布鲁尼。 用于开放流程的语义框架。 (英语) Zbl 1132.68042号 西奥。计算。科学。 389,第3期,446-483(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。389,第3号,446--483(2007;Zbl 1132.68042) 全文: DOI程序 链接
邱道文 基于量子逻辑的自动机理论:可逆性和下推自动机。 (英语) Zbl 1137.68036号 西奥。计算。科学。 386,编号1-2,38-56(2007).MSC公司:65年第68季度 81页68 81页第10页 2005年第68季度 03G12号机组 PDF格式BibTeX公司 XML格式引用 \文本{D.邱},Theor。计算。科学。386,编号1-2,38-56(2007年;Zbl 1137.68036) 全文: DOI程序
维罗尼卡·贝彻;谢尔盖·格里戈里夫 具有或不具有前缀自由的随机实链。 (英语) Zbl 1124.68046号 西奥。计算。科学。 385,编号1-3,193-201(2007).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{V.Becher}和\textit{S.Grigorief},Theor。计算。科学。385,编号1--3,193--201(2007;Zbl 1124.68046) 全文: DOI程序
布兰切特·萨德里(F.Blanchet-Sadri)。;内森·韦兹勒。 重温了部分词和临界因子分解定理。 (英语) Zbl 1124.68086号 西奥。计算。科学。 385,编号1-3,179-192(2007).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanchet-Sadri}和\textit{N.D.Wetzler},Theor。计算。科学。385,编号1--3179-192(2007;Zbl 1124.68086) 全文: DOI程序 链接
A.帕文。;艾伦·L·塞尔曼。;萨米克·森古普塔;维诺德钱德兰,N.V。 coNP的多对数全交互证明使指数层次结构崩溃。 (英语) Zbl 1124.68039号 西奥。计算。科学。 385,编号1-3,167-178(2007).MSC公司:2015年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Pavan}等人,Theor。计算。科学。385,编号1--3167--178(2007;Zbl 1124.68039) 全文: DOI程序
波波夫,V.Yu。 通过交换和元素复制进行多重基因组重排。 (英语) Zbl 1124.68021号 西奥。计算。科学。 385,编号1-3,115-126(2007).MSC公司:68页第10页 2017年第68季度 92D10型 PDF格式BibTeX公司 XML格式引用 \文本{V.Yu.Popov},Theor。计算。科学。385,编号1--3,115-126(2007;Zbl 1124.68021) 全文: DOI程序 链接
谢明宇;蔡世春 关于广义连续博弈的公平性和复杂性。 (英语) Zbl 1149.68038号 西奥。计算。科学。 385,编号1-3,88-100(2007).MSC公司:2017年第68季度 91A46型 PDF格式BibTeX公司 XML格式引用 \textit{谢家华}和\textit{S.-C.蔡英文},Theor。计算。科学。385,编号1--3,88-100(2007;Zbl 1149.68038) 全文: DOI程序
朱利亚·加尔比亚蒂;弗朗西斯科·马菲奥利 有限不平衡最大切割的近似算法。 (英语) Zbl 1124.68117号 西奥。计算。科学。 385,编号1-3,78-87(2007).MSC公司:68周25 68瓦20 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{G.Galbiati}和\textit{F.Maffioli},Theor。计算。科学。385,编号1--3,78-87(2007;Zbl 1124.68117) 全文: DOI程序
安德雷,Y。;卡隆,A.C。;德巴比厄,D。;Roos,Y。;蒂森,S。 半结构化数据中的路径约束。 (英语) Zbl 1124.68018号 西奥。计算。科学。 385,编号1-3,11-33(2007).MSC公司:68第05页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Y.André}等人,Theor。计算。科学。385,编号1--3,11-33(2007;Zbl 1124.68018) 全文: DOI程序 哈尔
尼古拉·桑托罗;彼得·维德迈尔 具有普遍故障的同步网络协议。 (英语) Zbl 1125.68012号 西奥。计算。科学。 384,编号2-3,232-249(2007).MSC公司:64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit{N.Santoro}和\textit{P.Widmayer},Theor。计算。科学。384,编号2--3,232-249(2007;Zbl 1125.68012) 全文: DOI程序
阿拉斯代尔·厄克哈特 分辨率证明中的宽度与尺寸。 (英语) Zbl 1124.03031号 西奥。计算。科学。 384,第1期,104-110(2007).MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \文本{A.Urquhart},Theor。计算。科学。384,编号1,104--110(2007;Zbl 1124.03031) 全文: DOI程序
丽莎·海勒斯坦;罗科·A·塞韦迪奥。 丰富布尔函数类的PAC学习算法。 (英语) Zbl 1124.68052号 西奥。计算。科学。 384,第1期,66-76(2007).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{L.Hellerstein}和\textit{R.A.Servedio},Theor。计算。科学。384,编号1,66--76(2007;Zbl 1124.68052) 全文: DOI程序
马库斯·赫特 关于普遍预测和贝叶斯确认。 (英语) Zbl 1124.68048号 西奥。计算。科学。 384,第1期,33-48(2007).MSC公司:68问题30 68问题32 PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.Hutter}。计算。科学。384,编号1,33-48(2007;Zbl 1124.68048) 全文: DOI程序 arXiv公司
蔡金毅;Vinay Choudhary公司 Valiant的holant定理和匹配门张量。 (英语) Zbl 1124.68113号 西奥。计算。科学。 384,第1期,22-32(2007).MSC公司:68周05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Cai}和\textit{V.Choudhary},Theor。计算。科学。384,编号1,22--32(2007;Zbl 1124.68113) 全文: DOI程序
简·阿尔佩;雷舒克,吕迪格 在噪音中学习军政府。 (英语) Zbl 1124.68051号 西奥。计算。科学。 384,第1期,2-21(2007).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{J.Arpe}和\textit{R.Reischuk},Theor。计算。科学。384,编号1,2-21(2007年;Zbl 1124.68051) 全文: DOI程序
弗拉米尼娅·卢西奥。;Sibeyn,Jop F。 基于网格的网络中的反馈顶点集。 (英语) Zbl 1123.68093号 西奥。计算。科学。 383,第1期,86-101(2007).MSC公司:68兰特 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Luccio}和\textit{J.F.Sibeyn},Theor。计算。科学。383,第1号,86--101(2007;Zbl 1123.68093) 全文: DOI程序
克里斯西·乔治奥;彼得·穆西亚尔(Peter M.Musial)。;亚历山大·施瓦茨曼。 长寿的兰博:用知识换取沟通。 (英语) Zbl 1123.68019号 西奥。计算。科学。 383,第1期,59-85(2007).MSC公司:64岁以下 68个M12 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{C.Georgiou}等人,Theor。计算。科学。383,第1号,59--85(2007;Zbl 1123.68019) 全文: DOI程序
Yon Dourisboure;费奥多尔·德拉甘。;西里尔·加沃维尔;严、陈瑜 用于有界树长度图的扳手。 (英语) Zbl 1123.68087号 西奥。计算。科学。 383,第1期,34-44(2007).MSC公司:68兰特 05二氧化碳 05C12号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Dourisboure}等人,Theor。计算。科学。383,编号1,34-44(2007;Zbl 1123.68087) 全文: DOI程序
阿列克塞·迪·萨尔沃;Guido Proietti公司 通过最小化平均拉伸因子来交换最短路径树的故障边。 (英语) Zbl 1124.68006号 西奥。计算。科学。 383,第1期,23-33(2007).MSC公司:68M10个 68米15 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Salvo}和\textit{G.Proietti},Theor。计算。科学。383,编号1,23-33(2007;Zbl 1124.68006) 全文: DOI程序
马克·伯金 算法复杂性作为不可解性的标准。 (英语) Zbl 1124.68047号 西奥。计算。科学。 383,编号2-3,244-259(2007).MSC公司:68问题30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.Burgin}。计算。科学。383,编号2--3,244--259(2007;Zbl 1124.68047) 全文: DOI程序
路德维希·斯泰格 无限单词的Kolmogorov复杂性。 (英语) Zbl 1124.68050号 西奥。计算。科学。 383,第2-3号,187-199(2007).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{L.Staiger},Theor(西奥)。计算。科学。383,编号2--3,187--199(2007;Zbl 1124.68050) 全文: DOI程序
汉斯·乌尔里希·西蒙 关于工作集选择的复杂性。 (英语) Zbl 1127.68087号 西奥。计算。科学。 382,第3期,262-279(2007).MSC公司:68T05型 65年第68季度 68周25 90C20个 90C25型 PDF格式BibTeX公司 XML格式引用 \文本{H.U.Simon},Theor。计算。科学。382,第3号,262--279(2007;Zbl 1127.68087) 全文: DOI程序
罗伯特·H·斯隆。;斯泽雷尼(Szörényi,Balázs);吉尔吉斯·图兰 修改阈值函数。 (英语) Zbl 1127.68046号 西奥。计算。科学。 382,第3期,198-208(2007).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Sloan}等人,Theor。计算。科学。382,第3号,198--208(2007;Zbl 1127.68046) 全文: DOI程序
埃里克·马丁;Sharma,阿伦;弗兰克·斯蒂芬 关于接受增加的不确定性对数据消费的好处。 (英语) Zbl 1127.68045号 西奥。计算。科学。 382,第3号,170-182(2007).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{E.Martin}等人,Theor。计算。科学。382,编号3170-182(2007年;兹bl 1127.68045) 全文: DOI程序
柯克·普鲁斯;Gerhard J.Woeginger。 一类子集选择问题的近似方案。 (英语) Zbl 1119.90077号 西奥。计算。科学。 382,第2期,151-156(2007).MSC公司:90 C59 68周25 68卢比 90立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{K.Pruhs}和\textit{G.J.Woeginger},Theor。计算。科学。382,第2号,151--156(2007;Zbl 1119.90077) 全文: DOI程序 链接
列奥尼德·哈奇扬;恩德雷·博罗斯;哈立德·埃尔巴西尼;弗拉基米尔·古尔维奇 关于有界边交超图和其他相关超图类的对偶。 (英语) Zbl 1125.68088号 西奥。计算。科学。 382,第2期,139-150(2007).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Khachiyan}等人,Theor。计算。科学。382,第2号,139--150(2007;Zbl 1125.68088) 全文: DOI程序
阿多,米海;理查德·科尔;埃里克·D·德曼。;约翰·伊阿科诺 基于比较的动态词典上的统一访问边界。 (英语) 兹比尔1127.68023 西奥。计算。科学。 382,第2期,86-96(2007).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Bdoiu}等人,Theor。计算。科学。382,第2号,86--96(2007;Zbl 1127.68023) 全文: DOI程序
克里斯蒂安·乔夫鲁特;弗拉维奥·达莱桑德罗;斯特凡诺·瓦里奇奥 关于稀疏无上下文语言和有界有理关系的可分性。 (英语) Zbl 1188.68170号 西奥。计算。科学。 381,编号1-3,274-279(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Choffrut}等人,Theor。计算。科学。381,编号1--3274--279(2007;Zbl 1188.68170) 全文: DOI程序
多明戈戈麦斯;詹姆·古铁雷斯;阿尔瓦尔·伊比斯 双环网中的最优路由。 (英语) Zbl 1188.68213号 西奥。计算。科学。 381,编号1-3,68-85(2007).MSC公司:68兰特 05C12号 05C25号 05C38号 05C85号 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{D.Gómez}等人,Theor。计算。科学。381,编号1--3,68-85(2007;Zbl 1188.68213) 全文: DOI程序
莫里斯·比克。;码头Kleijn 无限的不公平洗牌和联想。 (英语) Zbl 1118.68112号 西奥。计算。科学。 380,编号3,401-410(2007).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}和\textit{J.Kleijn},Theor。计算。科学。380,第3号,401-410(2007;Zbl 1118.68112) 全文: DOI程序
马丁·格罗;克里斯托弗·科赫;尼科尔·施韦卡特 流式数据和外部内存数据的查询处理的严格下限。 (英语) 兹比尔1118.68051 西奥。计算。科学。 380,第1-2号,199-217(2007).MSC公司:68第05页 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}等人,Theor。计算。科学。380,编号1--2,199-217(2007;Zbl 1118.68051) 全文: DOI程序 arXiv公司
普特拉什库,米海;科琳娜·塔尔尼(Corina E.Tarni)。 关于动态比特概率复杂性。 (英语) Zbl 1115.68060号 西奥。计算。科学。 380,编号1-2,127-142(2007).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Pótrašcu}和\textit{C.E.Tarniţ},Theor。计算。科学。380,编号1--2,127-142(2007;Zbl 1115.68060) 全文: DOI程序
马丁·盖林;博克哈德·莫尼恩;安德烈亚斯·沃克勒 调度无关并行机的快速组合近似算法。 (英语) Zbl 1118.68192号 西奥。计算。科学。 380,编号1-2,87-99(2007).MSC公司:68周25 68平方米 90立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{M.Gairing}等人,Theor。计算。科学。380,编号1--2,87-99(2007;Zbl 1118.68192) 全文: DOI程序
迪茨费尔宾格,马丁;克里斯托弗·魏德林 平衡的分配和字典,带有紧凑的固定大小箱子。 (英语) Zbl 1115.68169号 西奥。计算。科学。 380,编号1-2,47-68(2007).MSC公司:68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{M.Dietzfelbinger}和\textit{C.Weidling},Theor。计算。科学。380,编号1--2,47-68(2007;Zbl 1115.68169) 全文: DOI程序
阿图尔·祖马;Mirosław科瓦卢克;安德烈·林加 在有向非循环图中寻找最低公共祖先的更快算法。 (英语) Zbl 1118.68102号 西奥。计算。科学。 380,编号1-2,37-46(2007).MSC公司:68兰特 05C20号 05C38号 05C85号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Czumaj}等人,Theor。计算。科学。380,编号1--2,37-46(2007;Zbl 1118.68102) 全文: DOI程序
安娜·加尔;彼得·布罗·米尔特森 单元格探测简洁数据结构的复杂性。 (英语) Zbl 1152.68428号 西奥。计算。科学。 379,第3号,405-417(2007).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \文本{A.Gál}和文本{P.B.Miltersen},Theor。计算。科学。379,第3号,405--417(2007;Zbl 1152.68428) 全文: DOI程序 链接
丹尼尔·布利钦巴赫;阿格洛斯·凯亚斯;Moti Yung 在噪声信道上对交织Reed-Solomon码进行解码。 (英语) Zbl 1124.94015号 西奥。计算。科学。 379,第3期,348-360(2007). 审核人:凯瑟琳·罗格纳(柏林) MSC公司:94B35码 94A40型 94B10型 94A29号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bleichenbacher}等人,Theor。计算。科学。379,第3号,348--360(2007;Zbl 1124.94015) 全文: DOI程序
劳拉·博泽利 分支时间下推模型检查的复杂性结果。 (英语) Zbl 1121.68073号 西奥。计算。科学。 379,编号1-2,286-297(2007).MSC公司:60年第68季度 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{L.Bozzelli},Theor。计算。科学。379,编号1--2,286--297(2007;Zbl 1121.68073) 全文: DOI程序
拉兹万·迪亚科内斯库;斯特凡尼亚斯(Stefaneas,Petros) 机构中的超产品和可能世界语义。 (英语) Zbl 1124.03047号 西奥。计算。科学。 379,编号1-2,210-230(2007). 审核人:迪米特鲁·布什内格(克雷奥瓦) MSC公司:03G30型 03B45 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{P.Stefaneas},Theor。计算。科学。379,编号1--2,210-230(2007;Zbl 1124.03047) 全文: DOI程序
Jan Friso,格鲁特;马克·沃霍夫 Petri网组件的操作语义。 (英语) Zbl 1118.68082号 西奥。计算。科学。 379,编号1-2,1-19(2007).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{M.Voorhoeve},Theor。计算。科学。379,编号1--2,1--19(2007;Zbl 1118.68082) 全文: DOI程序
博多·马奈;吕迪格·赖舒克 二叉搜索树的平滑分析。 (英语) Zbl 1120.68043号 西奥。计算。科学。 378,第3号,292-315(2007).MSC公司:68第05页 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{B.Manthey}和\textit{R.Reischuk},Theor。计算。科学。378,第3号,292--315(2007;Zbl 1120.68043) 全文: DOI程序
高明阳;李向阳;王维钊 树木标签方案的平均案例分析。 (英语) Zbl 1120.68082号 西奥。计算。科学。 378,第3271-291号(2007年).MSC公司:68兰特 05二氧化碳 05C78号 05C12号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.-Y.Kao}等人,Theor。计算。科学。378,第3号,271--291(2007;Zbl 1120.68082) 全文: DOI程序
海纳阿克曼;阿兰塔·纽曼;黑科·罗格林;Vöcking,伯托尔德 基于近似和平滑的帕累托曲线进行决策。 (英语) Zbl 1121.90342号 西奥。计算。科学。 378,第3期,253-270(2007).MSC公司:90B50型 90C29型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ackermann}等人,Theor。计算。科学。378,第3号,253--270(2007;Zbl 1121.90342) 全文: DOI程序
波阿斯·本·莫什;巴塔查里亚,比奈;史巧生;阿里·塔米尔 仙人掌网络中心问题的高效算法。 (英语) Zbl 1120.68109号 西奥。计算。科学。 378,第3号,237-252(2007).MSC公司:68周05 68兰特 65年第68季度 90B80型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ben-Moshe}等人,Theor。计算。科学。378,第3号,237--252(2007;Zbl 1120.68109) 全文: DOI程序
西蒙·菲舍尔;贝托尔德·Vöcking 关于最坏情况均衡的结构和复杂性。 (英语) 兹比尔1121.91058 西奥。计算。科学。 378,第2期,165-174(2007).MSC公司:91B32型 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{S.Fischer}和\textit{B.Vöcking},Theor。计算。科学。378,第2号,165--174(2007;Zbl 1121.91058) 全文: DOI程序
迪内什·加格;卡迈勒贾恩;库纳尔·塔瓦尔;维杰伊·瓦齐拉尼。 在没有总替代性的情况下计算Fisher均衡的原对偶算法。 (英语) Zbl 1294.91062号 西奥。计算。科学。 378,第2期,143-152(2007).MSC公司:91B26型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Garg}等人,Theor。计算。科学。378,第2号,143--152(2007;Zbl 1294.91062) 全文: DOI程序
弗兰克·诺伊曼;英戈·韦格纳 随机局部搜索、进化算法和最小生成树问题。 (英语) Zbl 1117.68090号 西奥。计算。科学。 378,第1号,32-40(2007).MSC公司:68瓦20 68T20型 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{F.Neumann}和\textit{I.Wegener},Theor。计算。科学。378,编号1,32--40(2007;Zbl 1117.68090) 全文: DOI程序 链接
马克·戴利;迈克尔·多马拉茨基 生物操作定义的代码。 (英语) Zbl 1135.92303号 西奥。计算。科学。 378,第1期,第3-16页(2007年).MSC公司:92立方37 65年第68季度 94B60码 PDF格式BibTeX公司 XML格式引用 \textit{M.Daley}和\textit{M.Domaratzki},Theor。计算。科学。378,编号1,3--16(2007;Zbl 1135.92303) 全文: DOI程序
马丁·海兰德;莱维,保罗·布莱恩;戈登·普洛金;权力,约翰 将代数效应与延续相结合。 (英语) 兹比尔1111.68067 西奥。计算。科学。 375,编号1-3,20-40(2007).MSC公司:68问题55 2005年第68季度 2010年第68季度 18立方厘米 18立方厘米 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}等人,Theor。计算。科学。375,编号1--3,20--40(2007;Zbl 1111.68067) 全文: DOI程序 链接
C·赫米达。;R.D.坦能。 可能世界语义的fibrational框架Algol公司-喜欢语言。 (英语) Zbl 1135.68032号 西奥。计算。科学。 375,编号1-3,3-19(2007). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:68问题55 68甲15 18 C50 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{C.Hermida}和\textit{R.D.Tennent},Theor。计算。科学。375,编号1--3,3--19(2007;Zbl 1135.68032) 全文: DOI程序
巴拉·拉维库马尔 关于双向概率有限自动机模型的一些变化。 (英语) Zbl 1111.68063号 西奥。计算。科学。 376,编号1-2,127-136(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Ravikumar},西奥。计算。科学。376,编号1--2,127-136(2007;Zbl 1111.68063) 全文: DOI程序
亚历山大·奥霍金;奥克萨那州亚基莫娃 带互补的语言方程:决策问题。 (英语) Zbl 1111.68062号 西奥。计算。科学。 376,编号1-2,112-126(2007).MSC公司:65年第68季度 2017年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}和\textit{O.Yakimova},Theor。计算。科学。376,编号1--2,112-126(2007;Zbl 1111.68062) 全文: DOI程序
曼弗雷德·库夫莱特纳 多项式、时态逻辑片段和轨迹上的DA变化。 (英语) Zbl 1111.68059号 西奥。计算。科学。 376,编号1-2,89-100(2007).MSC公司:65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{M.Kufleitner},Theor。计算。科学。376,编号1--2,89-100(2007;Zbl 1111.68059) 全文: DOI程序
尤里·古里维奇;玛格斯·维纳斯;查尔斯·华莱士 抽象状态机在语言理论中有用吗? (英语) Zbl 1111.68054号 西奥。计算。科学。 376,编号1-2,17-29(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}等人,Theor。计算。科学。376,编号1--2,17-29(2007;Zbl 1111.68054) 全文: DOI程序
穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 SOS格式和元理论:20年后。 (英语) 兹比尔1111.68069 西奥。计算。科学。 373,第3号,238-272(2007).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人,Theor。计算。科学。373,第3号,238--272(2007;Zbl 1111.68069) 全文: DOI程序
何塞·梅塞盖尔;格里高·罗什乌 重写逻辑语义项目。 (英语) Zbl 1111.68068号 西奥。计算。科学。 373,第3期,213-237(2007).MSC公司:68问题55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{G.Rošu},Theor。计算。科学。373,第3号,213--237(2007;Zbl 1111.68068) 全文: DOI程序 链接
杰拉尔德·吕特根;沃尔特·福格勒 过程上的连接:通过现成树语义进行完全抽象。 (英语) Zbl 1111.68085号 西奥。计算。科学。 373,编号1-2,19-40(2007).MSC公司:68问题85 03B44号 68问题55 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Theor。计算。科学。373,编号1--2,19-40(2007;Zbl 1111.68085) 全文: DOI程序
保罗·贝尔;伊戈尔·波塔波夫 关于可逆对角矩阵和标量矩阵的隶属度。 (英语) Zbl 1108.68092号 西奥。计算。科学。 372,第1期,37-45(2007).MSC公司:68兰特 03天35分 03D40号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bell}和\textit{I.Potapov},Theor。计算。科学。372,编号1,37-45(2007;Zbl 1108.68092) 全文: DOI程序
阿林·德意志;伯特伦·卢德谢尔;阿兰·纳什 使用具有完整性约束下的访问模式的视图重写查询。 (英语) Zbl 1108.68040号 西奥。计算。科学。 371,第3号,200-226(2007).MSC公司:第68页第15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Deutsch}等人,Theor。计算。科学。371,第3号,200--226(2007;Zbl 1108.68040) 全文: DOI程序
弗拉德伦·科尔顿;克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。 大约占主导地位的代表。 (英语) Zbl 1108.68042号 西奥。计算。科学。 371,第3期,148-154(2007).MSC公司:第68页第15页 68M10个 68周25 PDF格式BibTeX公司 XML格式引用 \textit{V.Koltun}和\textit{C.H.Papadimitriou},Theor。计算。科学。371,第3号,148--154(2007;Zbl 1108.68042) 全文: DOI程序
谢孙元 从不同物种的系统发育树中寻找最大的叶序同构后代子树。 (英语) Zbl 1118.68190号 西奥。计算。科学。 370,编号1-3299-308(2007).MSC公司:68周05 92D15型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{S.-Y.谢长廷},Theor。计算。科学。370,编号1--3,299--308(2007;Zbl 1118.68190) 全文: DOI程序
安德烈·佩尔克;大卫·佩勒 随机传输故障广播的可行性和复杂性。 (英语) Zbl 1118.68017号 西奥。计算。科学。 370,编号1-3,279-292(2007).MSC公司:68M10个 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Pelc}和\textit{D.Peleg},Theor。计算。科学。370,编号1--3,279--292(2007;Zbl 1118.68017) 全文: DOI程序
达里奥·卡塔拉诺;罗萨里奥·根纳罗 Cramer-Damgárd签名重温:基于因子分解的高效平面树签名。 (英语) Zbl 1117.94009号 西奥。计算。科学。 370,第1-3号,186-200(2007).MSC公司:94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{D.Catalano}和\textit{R.Gennaro},Theor。计算。科学。370,编号1-3186-200(2007年;Zbl 1117.94009) 全文: DOI程序
沙恩·桑德斯;大岛高冈 在几乎无圈有向图上有效地求解最短路径。 (英语) Zbl 1118.68108号 西奥。计算。科学。 370,编号1-3,94-109(2007).MSC公司:68兰特 05C85号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{S.Saunders}和\textit{T.Takaoka},Theor。计算。科学。370,编号1--3,94-109(2007;Zbl 1118.68108) 全文: DOI程序 链接
克里斯蒂安·格拉(Christian Glaßer);艾伦·L·塞尔曼。;张丽玉 命题证明系统的规范不相交NP对。 (英语) Zbl 1118.68070号 西奥。计算。科学。 370,编号1-3,60-73(2007).MSC公司:2015年第68季度 20层03 PDF格式BibTeX公司 XML格式引用 \textit{C.Glaßer}等人,Theor。计算。科学。370,编号1--3,60-73(2007;Zbl 1118.68070) 全文: DOI程序
弗朗索瓦·尼古拉斯;对手,埃里克 无方向和循环字符串的最长常见子序列问题。 (英语) Zbl 1118.68074号 西奥。计算。科学。 370,编号1-3,1-18(2007).MSC公司:65年第68季度 2017年第68季度 68兰特 05C69号 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{F.尼古拉斯}和\textit{E.对手},提奥。计算。科学。370,编号1--3,1--18(2007;Zbl 1118.68074) 全文: DOI程序 链接