李静;刘迪;Yuan,Jun元 含缺陷单元圆环体的超跨越连通性和超跨越撕裂性。 (英语) Zbl 1310.68026号 发现的国际期刊。计算。科学。 24,第6期,921-939(2013).MSC公司:68M10个 05立方38 05C40号 68米15 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,国际J.Found。计算。科学。24,第6号,921--939(2013;Zbl 1310.68026) 全文: 内政部
桑托什,Prabhu M。 分布式结检测中的自稳定。 (英语) Zbl 1310.68226号 发现的国际期刊。计算。科学。 24,第6期,913-919(2013).MSC公司:68宽15 05C85号 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Santhosh},国际法院发现。计算。科学。24,第6号,913--919(2013;Zbl 1310.68226) 全文: 内政部
周广燕;高宗生 通过翻转两个变量,为random((2+p))-SAT建立了一个新的上界。 (英语) Zbl 1290.68051号 发现的国际期刊。计算。科学。 24,第6号,899-912(2013).MSC公司:2017年第68季度 87年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Zhou}和\textit{Z.Gao},国际J.Found。计算。科学。24,第6号,899--912(2013;Zbl 1290.68051) 全文: 内政部
张恩;蔡永泉 标准点对点通信网络中合理的多秘密共享方案。 (英语) 兹比尔1283.94106 发现的国际期刊。计算。科学。 24,第6号,879-897(2013).MSC公司:94A62型 91A35型 91A80型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{E.Zhang}和\textit{Y.Cai},Int.J.Found。计算。科学。24,第6号,879--897(2013;Zbl 1283.94106) 全文: 内政部
Daniel Průsh a,丹尼尔;弗朗蒂舍克先生 正在重新启动平铺自动机。 (英语) Zbl 1286.68294号 发现的国际期刊。计算。科学。 24,第6期,863-878(2013).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Průša}和\textit{F.Mráz},国际发现杂志。计算。科学。24,第6号,863--878(2013;Zbl 1286.68294) 全文: 内政部
梅赫里亚·莫赫里 关于有限自动机和函数变换器的消歧。 (英语) Zbl 1286.68292号 发现的国际期刊。计算。科学。 24,第6期,847-862(2013).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mohri},国际期刊发现。计算。科学。24,第6号,847--862(2013;Zbl 1286.68292) 全文: 内政部
马丁·库特里布;弗里德里希·奥托 关于删除重启自动机窗口大小的描述复杂性。 (英语) Zbl 1309.68121号 发现的国际期刊。计算。科学。 24,第6号,831-846(2013).MSC公司:65年第68季度 03日第10天 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{F.Otto},国际期刊发现。计算。科学。24,第6号,831--846(2013;Zbl 1309.68121) 全文: 内政部
杰·阿图尔;安德烈亚斯·马莱蒂 确定性树自动机的超最小化。 (英语) Zbl 1295.68145号 发现的国际期刊。计算。科学。 24,第6期,815-830(2013). 审核人:马格努斯·斯坦比(图尔库) MSC公司:65年第68季度 68周05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Maletti},国际期刊发现。计算。科学。24,No.6,815--830(2013;Zbl 1295.68145) 全文: 内政部
奥斯卡·H·伊巴拉。;Tran,Nicholas Q。 如何同步多任务自动机的头部。 (英语) Zbl 1286.68285号 发现的国际期刊。计算。科学。 24,第6期,799-813(2013).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{N.Q.Tran},国际期刊发现。计算。科学。24,第6号,799--813(2013;Zbl 1286.68285) 全文: 内政部
丹尼尔·戈奇;丹麦亨舍尔;杰弗里·沙利特 单词组合学中的自动理论证明。 (英语) Zbl 1304.68143号 发现的国际期刊。计算。科学。 24,第6期,781-798(2013). 审核人:Francine Blanchet Sadri(格林斯伯勒) MSC公司:68兰特 05年05月05日 11B85号 68-04 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Goč}等人,Int.J.发现。计算。科学。24,第6号,781--798(2013;Zbl 1304.68143) 全文: 内政部
F.M.福米尼。;Martyugin,P.V.公司。;沃尔科夫,M.V。 P(l)支付同步费用。 (英语) Zbl 1286.68280号 发现的国际期刊。计算。科学。 24,第6期,765-780(2013).MSC公司:65年第68季度 65年第68季度 91A40型 91A43型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Fominykh}等人,《国际发现杂志》。计算。科学。24,第6号,765--780(2013;Zbl 1286.68280) 全文: 内政部 arXiv公司
雷吉兹、斯特凡诺·克雷斯皮;圣彼得罗,皮耶路易吉 具有一致性的严格局部可测试性等于正则性和其他属性。 (英语) Zbl 1408.68094号 发现的国际期刊。计算。科学。 24,第6期,747-763(2013).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.C.Reghizzi}和\textit{P.San Pietro},国际期刊发现。计算。科学。24,第6号,747--763(2013;Zbl 1408.68094) 全文: 内政部
米哈伊尔·贝林科夫。 同步准欧式和准一簇自动机。 (英语) Zbl 1305.68109号 发现的国际期刊。计算。科学。 24,第6期,729-745(2013). 审核人:加布里埃尔·V·奥尔曼(布拉什奥夫) MSC公司:65年第68季度 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Berlinkov},国际法学基金会。计算。科学。24,第6号,729--745(2013;Zbl 1305.68109) 全文: 内政部
JoséN·奥利维拉。 加权自动机作为矩阵范畴中的余代数。 (英语) Zbl 1353.68188号 发现的国际期刊。计算。科学。 24,第6号,709-728(2013).MSC公司:70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira},国际J.Found。计算。科学。24,第6号,709--728(2013;Zbl 1353.68188) 全文: 内政部
贾努斯·布尔佐夫斯基 搜索最复杂的正则语言。 (英语) Zbl 1410.68199号 发现的国际期刊。计算。科学。 第6期第24期第691-708页(2013年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brzozowski},Int.J.发现。计算。科学。24,第6号,691--708(2013;Zbl 1410.68199) 全文: 内政部
内尔玛·莫雷拉(编辑);罗杰里奥·里斯(编辑) 特刊:自动机的实施和应用(CIAA 2012)。前言。 (英语) Zbl 1298.00327号 发现的国际期刊。计算。科学。 24,第6号,689-690(2013).MSC公司:00B25型 68-06 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}(编辑)和\textit{R.Reis}(主编),Int.J.Found。计算。科学。24,第6号,689--690(2013;Zbl 1298.00327) 全文: 内政部