肯尼亚上野 打破矩形边界对公式大小下限的限制。 (英语) Zbl 1360.68477号 发现的国际期刊。计算。科学。 24,第8期,1339-1354(2013).MSC公司:2015年第68季度 2017年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Ueno},国际期刊发现。计算。科学。24,第8号,1339--1354(2013;Zbl 1360.68477) 全文: 内政部
艾桑·艾塔索;阿克苏、哈尼夫 破裂程度的一些结果。 (英语) Zbl 1296.05102号 发现的国际期刊。计算。科学。 24,第8期,1329-1338(2013). 审核人:Hans-Peter Künzi(朗德博施) MSC公司:05C40号 05C82号 PDF格式BibTeX公司 XML格式引用 \textit{A.Aytaç}和\textit{H.Aksu},国际期刊发现。计算。科学。24,第8号,1329--1338(2013;Zbl 1296.05102) 全文: 内政部
Rolf哈伦;克劳斯·扬森;拉尔斯·普雷德尔;乌尔里希·施瓦兹。;罗布·范·斯蒂 二对一:二维装箱的紧密近似。 (英语) Zbl 1291.68431号 发现的国际期刊。计算。科学。 24,第8期,1299-1327(2013).MSC公司:68周25 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Harren}等人,国际期刊发现。计算。科学。24,第8号,1299--1327(2013;Zbl 1291.68431) 全文: 内政部
塞巴斯蒂安·德奥罗维奇;阿格涅斯卡·达内克 合并最长公共子序列问题的位并行算法。 (英语) Zbl 1311.68203号 发现的国际期刊。计算。科学。 24,第8期,1281-1298(2013).MSC公司:68瓦32 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Deorowicz}和\textit{A.Danek},国际期刊发现。计算。科学。24,第8号,1281--1298(2013;Zbl 1311.68203) 全文: 内政部
赫尔曼·格鲁伯;马库斯·霍尔泽 有限自动机中更短的正则表达式。 (英语) Zbl 1291.68230号 发现的国际期刊。计算。科学。 24,第8期,1255-1279(2013).MSC公司:65年第68季度 2017年第68季度 05C40号 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{H.Gruber}和\textit{M.Holzer},国际期刊发现。计算。科学。24,第8号,1255--1279(2013;Zbl 1291.68230) 全文: 内政部
亚卡里尔马兹(Abuzer Yakaryilmaz);喂,A.C.杰姆 实时机器非规则语言识别的空间复杂性的严格界限。 (英语) 兹比尔1291.68234 发现的国际期刊。计算。科学。 24,第8期,1243-1253(2013).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Yakaryilmaz}和\textit{A.C.Say},国际期刊发现。计算。科学。24,第8号,1243--1253(2013;Zbl 1291.68234) 全文: 内政部 arXiv公司
魏云超;陈福光 (n,k)-星图的广义连通性。 (英语) Zbl 1298.05186号 发现的国际期刊。计算。科学。 24,第8期,1235-1241(2013). 审核人:恒流(蒙特利尔) MSC公司:05C40号 05C82号 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wei}和\textit{F.Chen},国际J.Found。计算。科学。24,第8号,1235--1241(2013;Zbl 1298.05186) 全文: 内政部
斯蒂芬·芬纳;张勇 关于隐藏子群问题的复杂性。 (英语) Zbl 1291.68170号 发现的国际期刊。计算。科学。 24,第8期,1221-1234(2013).MSC公司:2012年第68季度 81页68 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Fenner}和\textit{Y.Zhang},国际J.Found。计算。科学。24,第8号,1221--1234(2013;Zbl 1291.68170) 全文: 内政部
查、郑邦;胡磊 从已知的PN函数构造新的APN函数。 (英语) Zbl 1376.11083号 发现的国际期刊。计算。科学。 24,第8期,1209-1219(2013).MSC公司:2006年11月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zha}和\textit{L.Hu},国际期刊发现。计算。科学。24,第8号,1209--1219(2013;Zbl 1376.11083) 全文: 内政部
西蒙·沃尔;马利克,罗比 使用抽象和规范自动机对广义非阻塞属性进行组合验证。 (英语) 兹比尔1291.68270 发现的国际期刊。计算。科学。 24,第8期,1183-1208(2013).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Ware}和\textit{R.Malik},国际期刊发现。计算。科学。24,第8号,1183--1208(2013;Zbl 1291.68270) 全文: 内政部