艾曼纽·菲利奥特;莎拉·温特 从无限单词上的有理规范合成可计算函数。 (英语) Zbl 07805943号 发现的国际期刊。计算。科学。 35,编号1-2,179-214(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}和\textit{S.Winter},国际期刊发现。计算。科学。35,编号1--2,179-214(2024;Zbl 07805943) 全文: 内政部
曼弗雷德·德罗斯特;古斯塔夫·格拉博勒;乔治·拉霍尼斯 加权线性动态逻辑。 (英语) Zbl 07805942号 发现的国际期刊。计算。科学。 35,编号1-2,145-177(2024).MSC公司:68季度xx 03Bxx号 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《国际期刊》发现。计算。科学。35,编号1--2,145-177(2024;Zbl 07805942) 全文: 内政部
维克托·亨利克森;曼弗雷德·库弗莱特纳 禁止在有限和无限单词上使用(mathrm{FO}^2)交替的模式。 (英语) Zbl 07727034号 发现的国际期刊。计算。科学。 34,编号2-3,183-224(2023).MSC公司:65年第68季度 03C13号机组 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Henriksson}和\textit{M.Kufleitner},国际法学研究所。计算。科学。34,编号2-3183-224(2023;Zbl 07727034) 全文: 内政部 arXiv公司
维萨·哈拉瓦;特罗·哈尔朱;雷诺·尼斯卡宁;伊戈尔·波塔波夫 无限单词上的整数加权自动机。 (英语) Zbl 07727033号 发现的国际期刊。计算。科学。 34,编号2-3,163-182(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Halava}等人,国际期刊发现。计算。科学。34,编号2--3,163-182(2023;Zbl 07727033) 全文: 内政部
尼古拉·鲍德鲁;皮埃尔·阿莱·雷尼尔 从双向换能器到正则函数表达式。 (英语) Zbl 1477.68143号 发现的国际期刊。计算。科学。 31,第6号,843-873(2020). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Baudru}和\textit{P.-A.Reynier},国际期刊发现。计算。科学。31,第6号,843--873(2020;Zbl 1477.68143) 全文: 内政部
吕克·达托伊斯;伊斯马·杰克;皮埃尔·阿莱·雷尼尔 非周期性串传感器。 (英语) Zbl 1408.68090号 发现的国际期刊。计算。科学。 2018年第5期第29期第801-824页. 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Dartois}等人,国际期刊发现。计算。科学。29,第5号,801--824(2018;Zbl 1408.68090) 全文: 内政部
克里斯托弗·齐巴;沃尔夫冈·托马斯;克里斯托弗·斯宾拉斯 无限字母上的有限自动机:具有局部变化转换的两个模型。 (英语) Zbl 1387.68154号 发现的国际期刊。计算。科学。 29,第2期,213-231(2018).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{C.Czyba}等人,国际期刊发现。计算。科学。29,第2号,213--231(2018;Zbl 1387.68154) 全文: 内政部
Peter Kostolányi;布拉尼斯拉夫·罗万 带辅助配重的自动机。 (英语) Zbl 1364.68253号 发现的国际期刊。计算。科学。 27,第7号,787-807(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Kostolányi}和\textit{B.Rovan},国际期刊发现。计算。科学。27,第7号,787--807(2016;Zbl 1364.68253) 全文: 内政部
曼弗雷德·德罗斯特;福格勒、海科 定量无上下文语言的Chomsky-Schützenberger定理。 (英语) Zbl 1315.68169号 发现的国际期刊。计算。科学。 25,第8期,955-969(2014). 审核人:安德烈亚斯·马莱蒂(斯图加特) MSC公司:65年第68季度 2012年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{H.Vogler},国际期刊发现。计算。科学。25,第8号,955--969(2014;Zbl 1315.68169) 全文: 内政部
赫尔曼·格鲁伯;马库斯·霍尔泽 有限自动机中更短的正则表达式。 (英语) 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) 全文: 内政部
阿米尔·本·阿姆拉姆。;克里斯蒂安森,拉尔斯 在循环程序复杂性分析的可判定性边缘。 (英语) Zbl 1266.68091号 发现的国际期刊。计算。科学。 23,第7期,1451-1464(2012).MSC公司:68号30 68甲19 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Ben-Amram}和\textit{L.Kristiansen},Int.J.Found。计算。科学。23,第7号,1451-1464(2012年;兹bl 1266.68091) 全文: 内政部
阿马尔德夫·曼努埃尔;拉马努贾姆,R。 数据字上的类计数自动机。 (英语) Zbl 1216.68149号 发现的国际期刊。计算。科学。 22,第4期,863-882(2011).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Manuel}和\textit{R.Ramanujam},国际期刊发现。计算。科学。22,第4号,863--882(2011;Zbl 1216.68149) 全文: 内政部
迈克尔·卡明斯基;丹尼尔·泽特林 具有非确定性重分配的有限记忆自动机。 (英语) Zbl 1207.68191号 发现的国际期刊。计算。科学。 21,第5期,741-760(2010).MSC公司:65年第68季度 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}和\textit{D.Zeitlin},国际发现杂志。计算。科学。21,第5号,741--760(2010;Zbl 1207.68191) 全文: 内政部
弗朗索瓦·坎廷;Legay、Axel;皮埃尔·沃尔珀 通过自动机迭代计算凸包。 (英语) Zbl 1194.68134号 发现的国际期刊。计算。科学。 20,第4期,647-667(2009).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cantin}等人,国际法学研究所。计算。科学。20,第4号,647--667(2009;Zbl 1194.68134) 全文: 内政部
罗德里克·布洛姆;亚历山德罗·西马蒂;药丸,印戈;马可·罗维里 交替自动机的符号实现。 (英语) Zbl 1142.68418号 发现的国际期刊。计算。科学。 第4期第18页,第727-743页(2007年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,国际法学研究所。计算。科学。18,第4号,727--743(2007;Zbl 1142.68418) 全文: 内政部
奥尔纳·库普弗曼;吉拉·摩根斯顿;阿尼埃洛·穆拉诺 \(\omega\)-正则自动机的类型。 (英语) Zbl 1098.68073号 发现的国际期刊。计算。科学。 17,第4号,869-883(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,国际期刊发现。计算。科学。17,第4号,869--883(2006;Zbl 1098.68073) 全文: 内政部
弗里德古特,埃胡德;奥尔纳·库普弗曼;莫舍·瓦尔迪。 Büchi互补更加紧密。 (英语) Zbl 1096.68081号 发现的国际期刊。计算。科学。 17,第4号,851-867(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Friedgut}等人,国际期刊发现。计算。科学。17,第4号,851--867(2006;Zbl 1096.68081) 全文: 内政部