皮埃尔·贝热;纪尧姆·杜卡夫;米歇尔·哈比卜 中值图上直径和所有偏心度的次二次时间算法。 (英语) Zbl 1532.05101号 理论计算。系统。 68,第1期,144-193(2024).理学硕士:05C42号 05C12号 68周25 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Bergé}等人,《理论计算》。系统。68,第1号,144--193(2024;Zbl 1532.05101) 全文: 内政部 arXiv公司
瓦迪姆·莱维特(Vadim E.Levit)。;大卫·坦库斯 约束于\(\Delta\)和\(\Delta\)的覆盖图。 (英语) Zbl 1530.05152号 理论计算。系统。 67,第6期,1197-1208(2023).理学硕士:05C70号 05C69号 05C35号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.E.Levit}和\textit{D.Tankus},理论计算。系统。67,第6号,1197--1208(2023;Zbl 1530.05152) 全文: 内政部
吉拉塞克,乔泽夫;McQuillan,伊恩 访问边界堆栈自动机。 (英语) Zbl 07757145号 理论计算。系统。 67,第5期,956-975(2023).理学硕士:68季度xx 68倍 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{J.Jirásek}和\textit{I.McQuillan},理论计算。系统。67,编号5,956--975(2023;Zbl 07757145) 全文: 内政部
杰克·H·卢茨。;尼尔·卢茨;埃尔维拉·马约多莫 维度和复杂性类的结构。 (英语) Zbl 07719394号 理论计算。系统。 67,第3号,473-490(2023).理学硕士:68季度xx 03年月日 28轴 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Lutz}等人,理论计算。系统。67,编号3,473--490(2023;Zbl 07719394) 全文: 内政部 arXiv公司
阿比舍克·萨胡;萨科特·索拉布 有界有向图中弧不交圈填充的核化。 (英语) Zbl 07681305号 理论计算。系统。 67,第2期,221-233(2023).理学硕士:68季度xx 03年月日 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Sahu}和\textit{S.Saurabh},理论计算。系统。67,编号2,221--233(2023;Zbl 07681305) 全文: 内政部
井上裕宏;吉崎松冈;中岛,Yuto;顺介英纳加;伊迪奥·班奈;武田,Masayuki 将字符串分解为重复。 (英语) Zbl 07523543号 理论计算。系统。 66,第2期,484-501(2022年).理学硕士:68瓦xx 68瑞克斯 68页 PDF格式BibTeX公司 XML格式引用 \textit{H.Inoue}等人,理论计算。系统。66,编号2,484--501(2022;Zbl 07523543) 全文: 内政部
弗里德里希·奥托 关于无状态有序重启删除自动机的表达能力。 (英语) Zbl 1528.68192号 理论计算。系统。 65,编号7,1033-1068(2021).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto},理论计算。系统。65,编号71033-1068(2021;兹bl 1528.68192) 全文: 内政部 OA许可证
安托万·莫特特;卡琳·夸斯 无歧义寄存器自动机和无歧义时间自动机的包容问题。 (英语) Zbl 1517.68207号 理论计算。系统。 65,第4号,706-735(2021).理学硕士:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Mottet}和\textit{K.Quaas},理论计算。系统。65,编号4,706--735(2021;Zbl 1517.68207) 全文: 内政部
Shmuel T.克莱恩。;绍姆·萨迪亚;达纳·夏皮拉 前瞻性的哈夫曼编码。 (英语) 兹伯利1517.68111 理论计算。系统。 65,编号3,593-612(2021).理学硕士:68页30 PDF格式BibTeX公司 XML格式引用 \textit{S.T.Klein}等人,理论计算。系统。65,编号3,593--612(2021;Zbl 1517.68111) 全文: 内政部
埃琳娜·彼得罗娃(Elena A.Petrova)。;阿塞尼·M·舒尔。 无立方体单词的转换属性。 (英语) Zbl 1517.68322号 理论计算。系统。 65,第3号,479-496(2021).理学硕士:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Petrova}和\textit{A.M.Shur},理论计算。系统。65,第3号,479--496(2021;Zbl 1517.68322) 全文: 内政部 arXiv公司
李少华;马钦·皮里普祖克 一种用于独立反馈顶点集的改进FPT算法。 (英语) Zbl 1507.68231号 理论计算。系统。 64,第8期,1317-1330(2020).理学硕士:68兰特 05C85号 68年第27季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{M.Pilipczuk},理论计算。系统。64,第8号,1317--1330(2020;Zbl 1507.68231) 全文: 内政部 OA许可证
阿尤什·拉贾塞卡兰;杰弗里·沙利特;蒂姆·史密斯 通过自动机理论的加法数理论。 (英语) Zbl 1475.11040号 理论计算。系统。 64,第3期,542-567(2020年). 审核人:沃尔克·齐格勒(萨尔茨堡) 理学硕士:11B85号 11A63型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rajasekaran}等人,理论计算。系统。64,第3号,542--567(2020;Zbl 1475.11040) 全文: 内政部
德雷尼奥斯基(Dariusz Dereniowski);多罗塔·奥苏拉 二维环境中的在线搜索。 (英语) Zbl 1436.68404号 理论计算。系统。 63,第8期,1819-1848(2019).理学硕士:68周27 68兰特 68宽15 91A24型 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{D.Dereniowski}和\textit{D.Osula},理论计算。系统。63,第8号,1819--1848(2019;Zbl 1436.68404) 全文: 内政部 arXiv公司 OA许可证
多米尼克·D·弗雷登伯格。 文档扳手的逻辑。 (英语) 兹比尔1430.68081 理论计算。系统。 63,第7期,1679-1754(2019).理学硕士:第68页,共15页 03B70号 68第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Freydenberger},理论计算。系统。63,第7号,1679-1754(2019;Zbl 1430.68081) 全文: 内政部 OA许可证
Angelopulos、Spyros 在线优先级和节点加权斯坦纳树问题的参数化分析。 (英语) Zbl 1430.68453号 理论计算。系统。 63,第6期,1413-1447(2019).理学硕士:68周27 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Angelopulos},理论计算。系统。63,编号61413-1447(2019;兹bl 1430.68453) 全文: 内政部 哈尔
弗兰克·古尔斯基;卡罗琳·雷赫斯 比较有向图的线宽参数。 (英语) Zbl 1420.05068号 理论计算。系统。 63,第6期,1358-1387(2019).理学硕士:05C20号 90立方厘米35 05C35号 PDF格式BibTeX公司 XML格式引用 \textit{F.Gurski}和\textit{C.Rehs},理论计算。系统。63,第6号,1358--1387(2019;Zbl 1420.05068) 全文: 内政部 arXiv公司
维利亚姆·格弗特 (\mathrm{ASPACE}(\log\logn)\)中的一元编码PSPACE完整语言。 (英语) Zbl 1425.68199号 理论计算。系统。 63,第4号,688-714(2019).理学硕士:65年第68季度 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert},理论计算。系统。63,第4号,688--714(2019年;Zbl 1425.68199) 全文: 内政部
Peter Kostolányi 半环上代数系统的统一方法。 (英语) 兹比尔1431.68067 理论计算。系统。 63,第3号,615-633(2019). 审核人:吉列尔莫·莫拉莱斯·卢纳(墨西哥) 理学硕士:70年第68季度 2016年60月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kostolányi},理论计算。系统。63,第3号,615--633(2019;Zbl 1431.68067) 全文: 内政部
托马斯·科齐马卡;Pissis,Solon P。;雅库布·拉多舍夫斯基 加权序列和轮廓的模式匹配和一致性问题。 (英语) Zbl 1423.68620号 理论计算。系统。 63,第3号,506-542(2019).理学硕士:68瓦32 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kociumaka}等人,理论计算。系统。63,编号3,506--542(2019;Zbl 1423.68620) 全文: 内政部 OA许可证
阿尔诺卡斯提格茨;拉尔夫·克拉辛;耶森·内格兹(Yessin M.Neggaz)。;约瑟夫·彼得斯(Joseph G.Peters)。 计算基于序列的动态图的参数。 (英语) Zbl 1414.05271号 理论计算。系统。 63,第3号,394-417(2019).理学硕士:05C82号 05C40号 90B10型 PDF格式BibTeX公司 XML格式引用 \textit{A.Casteigts}等人,理论计算。系统。63,第3号,394--417(2019;Zbl 1414.05271) 全文: 内政部 哈尔
西尔维·戴维斯 布尔运算的基本性、一致极小性和状态复杂性。 (英语) Zbl 1430.68142号 理论计算。系统。 62,编号81952-2005(2018).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Davies},理论计算。系统。62,第8号,1952--2005(2018;Zbl 1430.68142) 全文: 内政部 arXiv公司
菲利普·比尔;安德斯·罗伊·克里斯蒂安森;Patrick Hagge,跳绳;Görtz,Inge Li 语法压缩字符串中的手指搜索。 (英语) Zbl 1430.68097号 理论计算。系统。 62,第8期,1715-1735(2018).理学硕士:68页30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bille}等人,理论计算。系统。62,第8号,1715-1735(2018;Zbl 1430.68097) 全文: 内政部 链接
伯恩,马丁;瓦塞尔、帕维尔 在线彩色编号为PSPACE-完整。 (英语) Zbl 1391.68039号 理论计算。系统。 62,第6期,1366-1391(2018).理学硕士:2017年第68季度 05C15号 68周27 PDF格式BibTeX公司 XML格式引用 \textit{M.Böhm}和\textit{P.Veselí},理论计算。系统。62,第6号,1366--1391(2018;Zbl 1391.68039) 全文: 内政部 arXiv公司
米歇尔·卡迪尔哈克;安德烈亚斯·克雷布斯;皮埃尔·麦肯齐 Parikh自动机的代数理论。 (英语) Zbl 1410.68244号 理论计算。系统。 62,第5期,1241-1268(2018).理学硕士:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cadilhac}等人,理论计算。系统。62,编号51241-1268(2018;兹bl 1410.68244) 全文: 内政部 反向链接: 卫生官员
尤内斯·圭卢玛;哈达·切尔隆;杰卢尔·齐亚迪;布鲁斯·沃森。 从树自动机到字符串自动机最小化。 (英语) Zbl 1400.68103号 理论计算。系统。 62,第5期,1203-1222(2018). 审核人:马格努斯·斯坦比(图尔库) 理学硕士:65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guellouma}等人,理论计算。系统。62,第5号,1203-1222(2018;Zbl 1400.68103) 全文: 内政部
Janusz A.Brzozowski。;Szykuła,马雷克;叶玉莉 正则理想的句法复杂性。 (英语) Zbl 1398.68301号 理论计算。系统。 62,第5期,1175-1202(2018).理学硕士:65年第68季度 20立方米 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Brzozowski}等人,《理论计算》。系统。62,第5号,1175--1202(2018;Zbl 1398.68301) 全文: 内政部 arXiv公司 OA许可证
多米尼克·D·弗雷登伯格。;马里奥·霍尔达克 文档扳手:从表达能力到决策问题。 (英语) Zbl 1392.68167号 理论计算。系统。 62,第4期,854-898(2018).理学硕士:第68页,共15页 68第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Freydenberger}和\textit{M.Holldack},理论计算。系统。62,编号4854-898(2018;兹bl 1392.68167) 全文: 内政部 OA许可证
曼弗雷德·库夫莱特纳;简·菲利普·瓦赫特 Trotter-Weil层次结构上omega-terms的单词问题。 (英语) Zbl 1435.20065号 理论计算。系统。 62,第3期,682-738(2018).理学硕士:2005年5月20日 03年2月25日 05年3月 03D40号 2007年2月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Kufleitner}和\textit{J.P.Wächter},理论计算。系统。62,第3号,682--738(2018;Zbl 1435.20065) 全文: 内政部 链接
曼弗雷德·库夫莱特纳;托拜厄斯·沃尔特 无限单词的量词交替层次结构的第二级。 (英语) Zbl 1436.03216号 理论计算。系统。 62,第3期,467-480(2018).理学硕士:05年3月 03年2月25日 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Kufleitner}和\textit{T.Walter},理论计算。系统。62,第3号,467--480(2018;Zbl 1436.03216) 全文: 内政部 链接
米哈伊尔·巴拉什;亚历山大·奥霍金 单边上下文文法的广义LR解析算法。 (英语) Zbl 1379.68192号 理论计算。系统。 61,第2号,581-605(2017).理学硕士:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Barash}和\textit{A.Okhotin},理论计算。系统。61,No.2,581--605(2017;Zbl 1379.68192) 全文: 内政部
卢卡斯·弗莱舍;曼弗雷德·库夫莱特纳;亚历山大·劳瑟 半衰期{FO}_2\)交替层次结构。 (英语) Zbl 1436.03215号 理论计算。系统。 61,第2期,352-370(2017).理学硕士:05年3月 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.Fleischer}等人,《理论计算》。系统。61,编号2352-370(2017年;兹bl 1436.03215) 全文: 内政部
埃利尼·阿克里达(Eleni C.Akrida)。;莱泽克·Gąsieniec;乔治·默齐奥斯(George B.Mertzios)。;保罗·G·斯皮拉基斯。 时间连通图优化设计的复杂性。 (英语) Zbl 1379.68250号 理论计算。系统。 61,第3期,907-944(2017).理学硕士:68兰特 05C85号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.C.Akrida}等人,理论计算。系统。61,第3号,907--944(2017;Zbl 1379.68250) 全文: 内政部 arXiv公司 链接
吉野,Takuya;平田洋一 通过公共子林映射有根标记树的层次结构。 (英语) Zbl 1368.68193号 理论计算。系统。 60,第4期,759-783(2017).理学硕士:68第05页 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{T.Yoshino}和\textit{K.Hirata},理论计算。系统。60,第4号,759--783(2017;Zbl 1368.68193) 全文: 内政部
贝内迪克特·博利格;迪特里赫·库斯克;罗伊·门尼克 模型检验的复杂性。 (英语) Zbl 1372.68164号 理论计算。系统。 60,第4期,695-736(2017).理学硕士:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,理论计算。系统。60,第4号,695--736(2017;Zbl 1372.68164) 全文: 内政部 链接
弗兰克·古尔斯基 团宽度在图运算和图变换下的行为。 (英语) Zbl 1358.05239号 理论计算。系统。 60,第2期,346-376(2017).理学硕士:05C76号 05C69号 05C78号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{F.Gurski},理论计算。系统。60,第2号,346--376(2017;Zbl 1358.05239) 全文: 内政部 arXiv公司
谢尔盖·阿古斯蒂诺维奇;斯维特拉娜·普兹尼纳 无限词的弱阿贝尔周期性。 (英语) Zbl 1354.68212号 理论计算。系统。 59,第2期,161-179(2016). 审核人:安东·乔恩(萨法特) 理学硕士:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Avgustinovich}和\textit{S.Puzynina},理论计算。系统。59,第2号,161--179(2016;Zbl 1354.68212) 全文: 内政部 arXiv公司
亨宁费尔瑙;马库斯·施密德。;Yngve的Villanger 关于字符串态射问题的参数化复杂性。 (英语) Zbl 1350.68139号 理论计算。系统。 59,第1期,24-51(2016).理学硕士:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}等人,理论计算。系统。59,第1号,24-51(2016;Zbl 1350.68139) 全文: 内政部 链接
旭一朝弘;杰斯珀·詹森;宫野,Eiji;大野弘太郎 度约束图方向:最大满意度和最小违规。 (英语) Zbl 1332.05059号 理论计算。系统。 58,第1号,60-93(2016).理学硕士:05C20号 05C35号 05C85号 68周25 PDF格式BibTeX公司 XML格式引用 \textit{Y.Asahiro}等人,理论计算。系统。58,第1号,60-93(2016;Zbl 1332.05059) 全文: 内政部
诺伯特·亨德斯哈根;弗里德里希·奥托 重新启动传感器、常规语言和理性关系。 (英语) Zbl 1339.68149号 理论计算。系统。 57,第1期,195-225(2015). 审核人:Michal Kunc(布尔诺) 理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Hundeshagen}和\textit{F.Otto},理论计算。系统。57,第1号,195--225(2015;Zbl 1339.68149) 全文: 内政部
沃尔克·迪克特;曼弗雷德·库夫莱特纳 同步延迟有界的欧米伽有理表达式。 (英语) Zbl 1343.68135号 理论计算。系统。 56,编号486-696(2015). 审核人:Aleksandr V.Tishchenko(莫斯科) 理学硕士:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{M.Kufleitner},理论计算。系统。56,第4号,686--696(2015;Zbl 1343.68135) 全文: 内政部 链接
贾努斯·布尔佐夫斯基;加琳娜·吉尔亚斯科娃;邹成龙 封闭语言的商复杂性。 (英语) Zbl 1380.68249号 理论计算。系统。 54,第277-292号(2014).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brzozowski}等人,《理论计算》。系统。54,第2号,277--292(2014;Zbl 1380.68249) 全文: 内政部 arXiv公司
杰·阿图尔 有限自动机压缩成员问题的复杂性。 (英语) Zbl 1319.68134号 理论计算。系统。 55,第4期,685-718(2014).理学硕士:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż},理论计算。系统。55,第4号,685--718(2014;Zbl 1319.68134) 全文: 内政部 OA许可证
梅格达德·加里 分布式知识证明逻辑。 (英语) 兹伯利1344.03017 理论计算。系统。 55,1号,1-40(2014).理学硕士:03B42号 03B45 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ghari},理论计算。系统。55,第1号,1--40(2014;Zbl 1344.03017) 全文: 内政部 arXiv公司
尼古拉·博斯克;丹尼尔·冈萨尔维斯;乔治·默齐奥斯(George B.Mertzios)。;保罗,克里斯托夫;伊格纳西·绍;圣埃芬托马斯 圆图中的参数控制。 (英语) Zbl 1286.68222号 理论计算。系统。 54,第1号,45-72(2014).理学硕士:65年第68季度 05C69号 05C38号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bousquet}等人,理论计算。系统。54,第1号,45--72(2014;Zbl 1286.68222) 全文: 内政部 链接
多米尼克·D·弗雷登伯格。 扩展正则表达式:简洁性和可判定性。 (英语) Zbl 1286.68281号 理论计算。系统。 53,第2期,159-193(2013).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Freydenberger},理论计算。系统。53,No.2,159--193(2013;Zbl 1286.68281) 全文: 内政部 链接
安妮·本诺特;伊夫·罗伯特;阿诺德·罗森伯格。;费雷德里克·费雯 具有不可恢复中断的工作共享静态策略。 (英语) Zbl 1310.68047号 理论计算。系统。 53,编号386-423(2013).理学硕士:68平方米 68米15 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{A.Benoit}等人,《理论计算》。系统。53,第3号,386--423(2013;Zbl 1310.68047) 全文: 内政部 哈尔
杰·阿图尔;亚历山大·奥霍金 用整数集上的方程表示超算术集。 (英语) Zbl 1279.68158号 理论计算。系统。 51,第2期,196-228(2012).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},理论计算。系统。51,No.2,196--228(2012;Zbl 1279.68158) 全文: 内政部 OA许可证
小西葫芦,保罗;马修·凯莱特;彼得·梅森。;尼古拉·桑托罗 搜索地铁中的黑洞。 (英语) Zbl 1253.68032号 理论计算。系统。 50,第1期,158-184(2012).理学硕士:68米10 90B10型 68宽15 68兰特 68米15 90B06型 PDF格式BibTeX公司 XML格式引用 \textit{P.Flocchini}等人,理论计算。系统。50,第1号,158--184(2012;Zbl 1253.68032) 全文: 内政部
伯奇,佩特尔;费迪南多·齐卡莱斯;加布里埃尔·菲奇;苏珊娜·利普塔克 关于字符串中近似的混乱模式匹配。 (英语) Zbl 1253.68372号 理论计算。系统。 50,第1期,35-51(2012).理学硕士:68瓦32 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{P.Burcsi}等人,理论计算。系统。50、1号、35-51(2012;Zbl 1253.68372) 全文: 内政部
阿姆斯特丹Elmasry;克劳斯·延森;Jyrki Katajainen 两个偏斜的二进制数字系统和一个应用程序。 (英语) Zbl 1254.68097号 理论计算。系统。 50,第1期,185-211(2012).理学硕士:68第05页 11A99号 PDF格式BibTeX公司 XML格式引用 \textit{A.Elmasry}等人,理论计算。系统。50,第1号,185--211(2012;Zbl 1254.68097) 全文: 内政部
Fülöp,佐尔坦;托尔斯滕·苏贝尔;福格勒、海科 多算子幺半群上加权树自动机的Büchi-like定理。 (英语) Zbl 1280.03045号 理论计算。系统。 50,第2期,241-278(2012). 审核人:罗杰·维尔梅尔(蒙特勒) 理学硕士:05年3月 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}等人,理论计算。系统。50,第2号,241--278(2012;Zbl 1280.03045) 全文: 内政部
迈克尔·托马斯 波斯特格中的外周推理的复杂性。 (英语) Zbl 1282.68144号 理论计算。系统。 50,编号3,401-419(2012).理学硕士:65年第68季度 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Thomas},理论计算。系统。50,第3号,401-419(2012;Zbl 1282.68144) 全文: 内政部
范·列文、埃里克·扬;范·列文(Jan van Leeuwen) 多项式时间近似的结构。 (英语) 兹比尔1288.68083 理论计算。系统。 50,第4期,641-674(2012).理学硕士:2015年第68季度 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{E.J.van Leeuwen}和\textit{J.vanLeeuwen},理论计算。系统。50,第4号,641--674(2012;Zbl 1288.68083) 全文: 内政部 OA许可证
克里斯蒂安·乔夫鲁特;朱哈尼·卡胡马基 语言幺半群中的独特可解性:理性关系的应用。 (英语) Zbl 1222.68101号 理论计算。系统。 49,第2期,355-364(2011).理学硕士:65年第68季度 70年第68季度 94B35码 PDF格式BibTeX公司 XML格式引用 \textit{C.Choffrut}和\textit{J.Karhumäki},理论计算。系统。49,No.2,355--364(2011;Zbl 1222.68101) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 一元字母表上的一元连接文法。 (英语) 兹比尔1248.68304 理论计算。系统。 49,第2期,319-342(2011). 审核人:György Vaszil(德布勒森) 理学硕士:65年第68季度 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},理论计算。系统。49,第2号,319--342(2011;Zbl 1248.68304) 全文: 内政部
加琳娜·吉尔亚斯科娃 正则语言和描述性复杂性的串联。 (英语) Zbl 1222.68110号 理论计算。系统。 49,第2期,306-318(2011).理学硕士:65年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková},理论计算。系统。49,No.2,306--318(2011;Zbl 1222.68110) 全文: 内政部
沃尔克·迪克特;曼弗雷德·库夫莱特纳 无限单词上的一阶逻辑片段。 (英语) Zbl 1258.03045号 理论计算。系统。 48,第3期,486-516(2011).理学硕士:05年3月 03B20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{M.Kufleitner},理论计算。系统。48,第3号,486--516(2011;Zbl 1258.03045) 全文: 内政部 链接
曼弗雷德·德罗斯特;福格勒、海科 未分级树自动机的加权逻辑。 (英语) Zbl 1226.03048号 理论计算。系统。 48,第1期,23-47(2011). 审核人:马格努斯·斯坦比(图尔库) 理学硕士:05年3月 03B70号 第68页,共15页 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{H.Vogler},理论计算。系统。48,编号1,23-47(2011;Zbl 1226.03048) 全文: 内政部
哈特穆特Messerschmidt;弗里德里希·奥托 单调确定性非遗忘重启自动机的层次结构。 (英语) Zbl 1209.68303号 理论计算。系统。 48,第2期,343-373(2011).理学硕士:65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Messerschmidt}和\textit{F.Otto},理论计算。系统。48,第2号,343--373(2011;Zbl 1209.68303) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 自然数集上方程的复杂性。 (英语) Zbl 1209.68263号 理论计算。系统。 48,第2期,319-342(2011).理学硕士:2015年第68季度 2017年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},理论计算。系统。48,第2号,319--342(2011;Zbl 1209.68263) 全文: 内政部
费比安·库恩;托马斯·莫西布罗达 容量受限支配集的分布逼近。 (英语) Zbl 1213.68694号 理论计算。系统。 47,第4期,811-836(2010).理学硕士:68宽15 64岁以下 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{F.Kuhn}和\textit{T.Moscibroda},理论计算。系统。47,编号4811-836(2010年;兹bl 1213.68694) 全文: 内政部
迈克尔·鲍兰德;埃尔玛·伯勒;纳迪亚·克里诺;斯特芬·里思;海宁·施诺尔;赫里贝特·沃尔默 量化约束问题的复杂性。 (英语) Zbl 1204.68182号 理论计算。系统。 47,第2期,454-490(2010).理学硕士:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bauland}等人,《理论计算》。系统。47,第2号,454--490(2010;Zbl 1204.68182) 全文: 内政部
尼古拉斯·贝登;亚历克西斯·贝丝;奥利维尔·卡尔顿;克洛伊·里斯帕尔 按线性顺序索引的单词的逻辑和有理语言。 (英语) Zbl 1205.68190号 理论计算。系统。 46,第4期,737-760(2010).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bedon}等人,理论计算。系统。46,第4号,737--760(2010;Zbl 1205.68190) 全文: 内政部 链接
彼得·法利舍夫斯基;Mitsunori小原 关于函数的自约性。 (英语) Zbl 1209.68262号 理论计算。系统。 46,第2期,222-245(2010).理学硕士:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Faliszewski}和\textit{M.Ogihara},理论计算。系统。46,第2号,222--245(2010;Zbl 1209.68262) 全文: 内政部 链接
拉胡尔·特里帕西 重新讨论了1对2查询问题。 (英语) Zbl 1203.68052号 理论计算。系统。 46,第2期,193-221(2010).理学硕士:2015年第68季度 65年第68季度 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{R.Tripathi},理论计算。系统。46,第2号,193--221(2010;Zbl 1203.68052) 全文: 内政部
Bodlaender,Hans L。;托马斯·范迪克。 反馈顶点集和循环割集的立方核。 (英语) Zbl 1215.68170号 理论计算。系统。 46,第3期,566-597(2010).理学硕士:68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{H.L.Bodlaender}和\textit{T.C.van Dijk},理论计算。系统。46,第3号,566--597(2010;Zbl 1215.68170) 全文: 内政部 OA许可证
杰·阿图尔;亚历山大·奥霍金 一元字母表上的连接文法:不确定性和无限增长。 (英语) Zbl 1183.68327号 理论计算。系统。 46,第1期,27-58(2010).理学硕士:2012年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},理论计算。系统。46,编号1,27-58(2010;Zbl 1183.68327) 全文: 内政部
科斯塔斯·S·伊利奥普洛斯。;拉赫曼(M.Sohel Rahman) 一种新的计算最长公共子序列的高效算法。 (英语) 兹比尔1187.68681 理论计算。系统。 45,第2期,355-371(2009).理学硕士:68周05 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Iliopoulos}和\textit{M.S.Rahman},理论计算。系统。45,第2号,355--371(2009;Zbl 1187.68681) 全文: 内政部
Fülöp,佐尔坦;安德烈亚斯·马莱蒂;福格勒、海科 分配多算子幺半群上加权树自动机的Kleene定理。 (英语) Zbl 1192.68408号 理论计算。系统。 44,第3期,455-499(2009).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}等人,理论计算。系统。44,第3号,455--499(2009;Zbl 1192.68408) 全文: 内政部
克里斯蒂安·格拉(Christian Glaßer);斯蒂芬·特拉弗斯 可以输出空单词的机器。 (英语) Zbl 1192.68320号 理论计算。系统。 44,第3期,369-390(2009).理学硕士:2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Glaßer}和\textit{S.Travers},理论计算。系统。44,第3号,369--390(2009;Zbl 1192.68320) 全文: 内政部
弗拉米尼娅·卢西奥。 Sierpinski图中的连续搜索问题。 (英语) Zbl 1192.68200号 理论计算。系统。 44,第2期,186-204(2009).理学硕士:68页第10页 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.L.Luccio},理论计算。系统。44,编号2186-204(2009年;兹bl 1192.68200) 全文: 内政部
托马斯·尤金斯基;弗里德里希·奥托;弗朗蒂舍克先生;马丁·普拉特克 关于2-单调重启自动机的复杂性。 (英语) Zbl 1140.68034号 理论计算。系统。 42,第4期,488-518(2008).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Jurdziánski}等人,《理论计算》。系统。42,编号4488-518(2008年;兹bl 1140.68034) 全文: 内政部
迈卡·阿德勒;龚莹;罗森博格(Arnold L.Rosenberg)。 优化“开发”节点异构集群。 (英语) Zbl 1140.68004号 理论计算。系统。 42,第4期,465-487(2008).理学硕士:68平方米 64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Adler}等人,理论计算。系统。42,第4号,465--487(2008;Zbl 1140.68004) 全文: 内政部
克里斯蒂安·沃特纳 存储产品和衍生产品的线性控制。 (英语) Zbl 1141.68038号 理论计算。系统。 42,第2号,157-186(2008).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Wartena},理论计算。系统。42,第2号,157--186(2008;Zbl 1141.68038) 全文: 内政部 OA许可证
辛蒂奥利,P。;西尔维斯特里。 通过明确的计算和概率计算提供帮助。 (英语) Zbl 0876.68065号 理论计算。系统。 30,第2期,165-180(1997).理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintioli}和\textit{R.Silvestri},理论计算。系统。30,第2号,165--180(1997;Zbl 0876.68065) 全文: 内政部
锡罗蒂乌克,V.R。;科尔伯恩,C.J。;J.帕希尔。 匿名环面网络上的Wang平铺和分布式验证。 (英语) Zbl 0870.68028号 理论计算。系统。 30,第2期,145-163(1997).理学硕士:68M99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Syrotiuk}等人,理论计算。系统。30,第2号,145--163(1997;Zbl 0870.68028) 全文: 内政部