马库斯·洛伊 HNN扩展词问题的复杂性。 (英语) Zbl 07677371号 J.计算。系统。科学。 135, 145-157 (2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Lohrey},J.计算。系统。科学。135、145--157(2023;Zbl 07677371) 全文: 内政部 arXiv公司
托马斯·巴西乌斯;托拜厄斯·弗里德里希;朱利叶斯·里舍伊德;米克斯,基蒂;马丁·施奈克 高效枚举数据分析中出现的超图的命中集。 (英语) Zbl 1478.68219号 J.计算。系统。科学。 124, 192-213 (2022).MSC公司:68兰特 05C30号 05C65号 05C85号 2017年第68季度 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \文本{T.Bläsius}等人,J.Comput。系统。科学。124192-213(2022年;Zbl 1478.68219) 全文: 内政部 链接
塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;吉列尔莫·A·佩雷斯。;托拜厄斯·温克勒 参数马尔可夫决策过程可达性的复杂性。 (英语) Zbl 1477.68124号 J.计算。系统。科学。 119, 183-210 (2021).MSC公司:65年第68季度 60年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Junges}等人,J.Compute。系统。科学。119183-210(2021年;Zbl 1477.68124) 全文: 内政部 arXiv公司 链接
劳雷·达沃;马尔钦·尤季扬斯基;兰科·拉齐奇;菲利普·马佐维耶基;吉列尔莫·A·佩雷斯。;詹姆斯·沃雷尔 概率自动机的空性和包含性何时可以判定? (英语) Zbl 1477.68150号 J.计算。系统。科学。 119,78-96(2021).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Daviaud}等人,J.Comput。系统。科学。119、78-96(2021年;Zbl 1477.68150) 全文: 内政部 arXiv公司 链接
洛伦佐·克莱门特;萨沃米尔·拉索塔 定时下推自动机的可达性关系。 (英语) Zbl 1484.68079号 J.计算。系统。科学。 117, 202-241 (2021). 审核人:罗杰·维勒梅尔(蒙特利尔) MSC公司:第68季度第45季度 03B70号 05年3月 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}和\textit{S.Lasota},J.Compute。系统。科学。117202-241(2021;Zbl 1484.68079) 全文: 内政部 arXiv公司
王启生;刘俊毅;英明生 量子有限状态机的等价性检查。 (英语) Zbl 1511.68141号 J.计算。系统。科学。 116, 1-21 (2021).MSC公司:第68季度第45季度 81第68页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}等人,J.Compute。系统。科学。116,1--21(2021;Zbl 1511.68141) 全文: 内政部 arXiv公司
达斯,比雷斯瓦尔;夏尔马,什夫多特;瓦迪亚纳桑,P.R。 有限群的空间有效表示。 (英语) 兹比尔1461.68061 J.计算。系统。科学。 114, 137-146 (2020).MSC公司:68第05页 20E99型 PDF格式BibTeX公司 XML格式引用 \textit{B.Das}等人,《计算杂志》。系统。科学。114137-146(2020年;Zbl 1461.68061) 全文: 内政部 arXiv公司
V·阿尔文德。;富尔布吕克;约翰·科布勒;奥列格·维尔比茨基 关于Weisfeiler-Leman不变性:子图计数和相关的图性质。 (英语) Zbl 1450.05056号 J.计算。系统。科学。 113, 42-59 (2020).MSC公司:05C60型 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{V.Arvind}等人,《计算杂志》。系统。科学。113、42-59(2020;Zbl 1450.05056) 全文: 内政部 arXiv公司
唐启毅;弗兰克·范·布鲁格尔 确定概率自动机的概率双相似距离1。 (英语) Zbl 1432.68247号 J.计算。系统。科学。 111, 57-84 (2020).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Tang}和\textit{F.van Breugel},J.Compute。系统。科学。111、57-84(2020年;Zbl 1432.68247) 全文: 内政部 链接
弗洛里安·布里杜克斯;阿隆索·卡斯蒂略-拉米雷斯;马克西米利安·加杜洛 完全模拟自动机网络。 (英语) 兹比尔1435.68148 J.计算。系统。科学。 109, 1-21 (2020).MSC公司:第68季度第45季度 2009年第68季度 2010年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bridoux}等人,《计算杂志》。系统。科学。109,1--21(2020年;Zbl 1435.68148) 全文: 内政部 arXiv公司 链接
乔治·巴赫迈耶;费利克斯·勃兰特;基斯特,克里斯蒂安;保罗·哈伦斯坦;凯文·卡德尔;多米尼克·彼得斯;Hans-Georg西迪格 \(k)-多数有向图和恒定投票人数投票的困难。 (英语) Zbl 1427.91122号 J.计算。系统。科学。 105, 130-157 (2019).MSC公司:91B14号机组 91B12号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bachmeier}等人,J.Compute。系统。科学。105、130-157(2019年;Zbl 1427.91122) 全文: 内政部 arXiv公司
尤罕·博伊库特;雅克·查宾;皮埃尔·雷蒂 朝向更精确的重写近似。 (英语) Zbl 1425.68154号 J.计算。系统。科学。 104, 131-148 (2019).MSC公司:第68季度第42季度 68N17号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Boichut}等人,《计算杂志》。系统。科学。104131-148(2019年;Zbl 1425.68154) 全文: 内政部
丹尼尔·本达拉;科迪什,迈克尔;路易斯·克鲁兹·菲利佩;彼得·施奈德·坎普;扎沃顿,雅库布 最佳深度分拣网络。 (英语) Zbl 1353.68062号 J.计算。系统。科学。 84, 185-204 (2017).MSC公司:68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bundala}等人,J.Compute。系统。科学。84、185--204(2017;Zbl 1353.68062) 全文: 内政部 arXiv公司
佐尔坦,福尔öp;安德烈亚斯·马莱蒂 树传感器的链接定理。 (英语) Zbl 1354.68154号 J.计算。系统。科学。 82,第7期,1201-1222(2016). 审核人:路德维希·斯泰格(哈雷/萨勒) MSC公司:第68季度第45季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}和\textit{A.Maletti},J.Compute。系统。科学。82,第7号,1201--1222(2016;Zbl 1354.68154) 全文: 内政部
邱道文;李绿洲;保罗·马特乌斯;阿米尔卡·瑟纳达斯 非RMM正则语言的指数级更简洁的量子识别。 (英语) Zbl 1401.81039号 J.计算。系统。科学。 81,第2期,359-375(2015).MSC公司:81第68页 第68季度12 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{D.邱}等人,J.Compute。系统。科学。81,No.2,359--375(2015;Zbl 1401.81039) 全文: 内政部 arXiv公司
拉斐尔·尤斯特 加权图中的近似最短路径。 (英语) Zbl 1237.68248号 J.计算。系统。科学。 78,第2期,632-637(2012).MSC公司:68周25 05C85号 05C38号 05C12号 PDF格式BibTeX公司 XML格式引用 \textit{R.Yuster},J.计算。系统。科学。78,第2号,632--637(2012;Zbl 1237.68248) 全文: 内政部
亚历山大·奥霍金 语言方程的判定问题。 (英语) Zbl 1201.68067号 J.计算。系统。科学。 76,编号3-4,251-266(2010).MSC公司:第68季度第45季度 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},J.计算。系统。科学。76,编号3--4,251--266(2010;Zbl 1201.68067) 全文: 内政部
威廉·加萨奇;詹姆斯·格伦;克莱德·克鲁斯卡尔(Clyde P.Kruskal)。 寻找大型3自由集。I.小箱子。 (英语) Zbl 1144.11010号 J.计算。系统。科学。 74,第4期,628-655(2008).MSC公司:11对25 PDF格式BibTeX公司 XML格式引用 \textit{W.Gasarch}等人,《计算杂志》。系统。科学。74,第4号,628--655(2008;Zbl 1144.11010) 全文: 内政部
德克·伦德斯;Van den Bussche,简 关于关系代数中除法和集连接的复杂性。 (英语) Zbl 1115.68066号 J.计算。系统。科学。 73,第4期,538-549(2007).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Leinders}和\textit{J.Van den Bussche},J.Compute。系统。科学。73,编号4,538–549(2007年;Zbl 1115.68066) 全文: 内政部 链接
陈建尔;黄秀珍;Iyad A.Kanj。;夏、葛 通过参数化复杂性实现强大的计算下限。 (英语) Zbl 1119.68092号 J.计算。系统。科学。 72,第8期,1346-1367(2006).MSC公司:2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}等人,J.Compute。系统。科学。72,第8号,1346---1367(2006;Zbl 1119.68092) 全文: 内政部
卡米尔·德米特里斯库;意大利,朱塞佩·F·。 使用实际边权重完全动态地对所有最短路径。 (英语) Zbl 1103.68132号 J.计算。系统。科学。 72,第5期,813-837(2006).MSC公司:68周05 05C85号 68瓦40 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Demetrescu}和\textit{G.F.Italiano},J.Compute。系统。科学。72,第5号,813--837(2006;Zbl 1103.68132) 全文: 内政部
约翰·赖夫(John H.Reif)。 结构化和非结构化线性系统的高效并行分解和求解。 (英语) Zbl 1079.65143号 J.计算。系统。科学。 71,第1期,86-143(2005). 审核人:卢博米尔·巴库勒(普拉哈) MSC公司:2005年5月 65平方英尺 65楼30 65层50 65层10 65年20月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif},J.计算。系统。科学。71,第1号,86--143(2005;Zbl 1079.65143) 全文: 内政部
列奥尼德·古尔维茨 经典复杂性和量子纠缠。 (英语) 兹比尔1093.81012 J.计算。系统。科学。 69,第3期,448-484(2004). 审核人:弗拉基克·雅。克雷诺维奇(埃尔帕索) MSC公司:81第68页 05B35号 15A22号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Gurvits},J.计算。系统。科学。69,第3号,448--484(2004;Zbl 1093.81012) 全文: 内政部
埃尔沙南·莫塞尔;莱恩·奥唐纳;罗科·A·塞韦迪奥。 学习相关变量的函数。 (英语) Zbl 1084.68057号 J.计算。系统。科学。 69,第3期,421-434(2004).MSC公司:68问题32 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Mossel}等人,J.Compute。系统。科学。69,第3号,421--434(2004;Zbl 1084.68057) 全文: 内政部
西蒙·蒂尼 同步语言Gentzen的公理语义。 (英语) Zbl 1035.68061号 J.计算。系统。科学。 66,第2期,316-348(2003).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Tini},J.计算。系统。科学。66,编号2,316-348(2003;Zbl 1035.68061) 全文: 内政部
Dan E.威拉德。 有效处理许多关系演算查询的算法。 (英语) 兹比尔1059.68026 J.计算。系统。科学。 65,第2期,295-331(2002).MSC公司:68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Willard},J.计算。系统。科学。65,No.2,295--331(2002;Zbl 1059.68026) 全文: 内政部 链接
瓦莱丽·金;加里·萨格特 用于维护传递闭包的全动态算法。 (英语) Zbl 1020.68106号 J.计算。系统。科学。 65,第1期,150-167(2002).MSC公司:68周05 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{V.King}和\textit{G.Sagert},J.Compute。系统。科学。65,第1号,150--167(2002;Zbl 1020.68106) 全文: 内政部 链接
约翰·赖夫(John H.Reif)。 组合代数和线性代数问题的并行输出敏感算法。 (英语) Zbl 0989.65055号 J.计算。系统。科学。 62,第3期,398-412(2001). 审核人:Hang Tong Lau(St.Laurent/魁北克省) MSC公司:65楼30 15A03号 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif},J.计算。系统。科学。62,第3号,398--412(2001;Zbl 0989.65055) 全文: 内政部
J.莫里斯·罗哈斯 计算算术几何。一: 句子几乎处于多项式层次结构中。 (英语) Zbl 0989.65033号 J.计算。系统。科学。 62,第2期,216-235(2001). 审核人:达纳·佩特库(蒂米什奥拉) MSC公司:65D18天 2017年第68季度 65年第68季度 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Rojas},J.计算。系统。科学。62,第2号,216--235(2001;Zbl 0989.65033) 全文: 内政部 arXiv公司
卢克·塞古芬;维克托·维亚努 通过拓扑不变量查询空间数据库。 (英语) Zbl 0963.68058号 J.计算。系统。科学。 61,第2期,270-301(2000).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Segoufin}和\textit{V.Vianu},J.Compute。系统。科学。61,第2号,270--301(2000;Zbl 0963.68058) 全文: 内政部
Jonathan F.巴斯。;古德蒙德·弗朗森。;杰弗里·奥·沙利特。 线性代数某些问题的计算复杂性。 (英语) Zbl 0941.68059号 J.计算。系统。科学。 58,第3号,572-596(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Buss}等人,J.Compute。系统。科学。58,第3号,572--596(1999;Zbl 0941.68059) 全文: 内政部 链接
Papadimitriou,C.H。;苏西乌(D.Suciu)。;维亚努,V。 空间数据库中的拓扑查询。 (英语) Zbl 0943.68051号 J.计算。系统。科学。 58,第1期,29-53(1999).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{C.H.Papadimitriou}等人,《计算杂志》。系统。科学。58,第1号,第29--53条(1999;Zbl 0943.68051) 全文: 内政部
桑古瑟瓦·拉贾塞卡兰;Yooseph、Shibu 在\(O(M(n^2))\)时间内识别TAL。 (英语) Zbl 0914.68122号 J.计算。系统。科学。 56,第1期,第83-89页(1998年).MSC公司:68N20型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Rajasekaran}和\textit{S.Yooseph},J.Comput。系统。科学。56,编号1,83--89(1998;Zbl 0914.68122) 全文: 内政部 OA许可证
吉尔吉斯·图兰;法罗赫·瓦坦 关于用有界扇入模拟电路计算布尔函数。 (英语) Zbl 0869.68050号 J.计算。系统。科学。 54,第1期,199-212(1997).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Turán}和\textit{F.Vatan},J.Comput。系统。科学。54,第1号,199--212(1997;Zbl 0869.68050) 全文: 内政部
帕斯卡·科伊兰 Blum、Shub和Smale模型的弱版本。 (英语) Zbl 0869.68049号 J.计算。系统。科学。 54,第1期,177-189(1997).MSC公司:2015年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Koiran},J.计算机。系统。科学。54,第1号,177--189(1997;Zbl 0869.68049) 全文: 内政部
伊迪丝·科恩 规模估计框架,具有传递闭包和可达性应用程序。 (英语) Zbl 0897.68075号 J.计算。系统。科学。 55,No.3,441-453(1997).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.Cohen},J.计算。系统。科学。55,第3号,441--453(1997;Zbl 0897.68075) 全文: 内政部
Stéphane Grumbach;苏建文 可有限表示的数据库。 (英语) Zbl 0887.68023号 J.计算。系统。科学。 55,No.2,273-298(1997).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Grumbach}和\textit{J.Su},J.Compute。系统。科学。55,No.2,273--298(1997;Zbl 0887.68023) 全文: 内政部 链接
诺加·阿龙;兹维·加利勒;奥德·玛加利特 关于所有对的指数最短路径问题。 (英语) Zbl 0877.68090号 J.计算。系统。科学。 54,第2期,255-262页(1997年).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Alon}等人,J.Compute。系统。科学。54,第2号,255--262(1997;Zbl 0877.68090) 全文: 内政部
兹维·加利勒;奥德·玛加利特 具有小整数长度边的图的所有对最短路径。 (英语) 兹比尔0877.68089 J.计算。系统。科学。 54,第2期,243-254(1997).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Z.Galil}和\textit{O.Margalit},J.Comput。系统。科学。54,No.2,243--254(1997;Zbl 0877.68089) 全文: 内政部 OA许可证
约斯特·恩格尔弗里特;福格勒、海科 自顶向下的树到图传感器的转换能力。 (英语) Zbl 0821.68078号 J.计算。系统。科学。 49,第2期,258-305(1994).MSC公司:第68季度第42季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{H.Vogler},J.Compute。系统。科学。49,第2号,258--305(1994;Zbl 0821.68078) 全文: 内政部
C.安德鲁·内夫 指定精度的多项式根隔离在NC中。 (英语) Zbl 0806.68054号 J.计算。系统。科学。 48,第3期,429-463(1994).MSC公司:68宽15 2015年第68季度 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Neff},J.计算。系统。科学。48,第3号,429--463(1994;Zbl 0806.68054) 全文: 内政部
曼纽尔·布卢姆;米歇尔·鲁比;罗尼特·鲁宾菲尔德 应用于数值问题的自我测试/修正。 (英语) Zbl 0795.68131号 J.计算。系统。科学。 47,第3号,549-595(1993).MSC公司:60年第68季度 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{M.Blum}等人,《计算杂志》。系统。科学。47,第3号,549--595(1993;Zbl 0795.68131) 全文: 内政部
Yap,Chee-Keng先生 符号扰动格式的几何一致性定理。 (英语) Zbl 0705.68056号 J.计算。系统。科学。 40,第1期,2-18(1990).MSC公司:68宽10 68单位05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-K.Yap},J.计算。系统。科学。40,编号1,2--18(1990年;兹bl 0705.68056) 全文: 内政部
凯·萨洛马 确定性树下推自动机和一元树重写系统。 (英语) Zbl 0668.68084号 J.计算。系统。科学。 37,第3期,367-394(1988). 审核人:M.斯坦比 MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Salomaa},J.计算。系统。科学。37,第3号,367--394(1988;Zbl 0668.68084) 全文: 内政部
弗里德里希·奥托 关于确定有限字符串重写系统在给定同余类上的合流。 (英语) Zbl 0645.03033号 J.计算。系统。科学。 35, 285-310 (1987). 审核人:F.奥托 MSC公司:03年3月 03D40号 99年第68季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto},J.计算。系统。科学。35、285--310(1987年;Zbl 0645.03033) 全文: 内政部
约阿希姆·冯·祖尔·盖森 多元多项式的不可约性。 (英语) Zbl 0604.68043号 J.计算。系统。科学。 31, 225-264 (1985).MSC公司:68瓦30 12E05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.von zur Gathern},J.计算。系统。科学。31225--264(1985;Zbl 0604.68043) 全文: 内政部