詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;克里斯蒂安·迪利茨 带有语言参数的时间逻辑。 (英语) Zbl 07798814号 Inf.计算。 295,A部分,文章ID 105087,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人,《信息计算》。295,A部分,文章ID 105087,22 p.(2023;Zbl 07798814) 全文: 内政部
大卫·贝朗格;高自远;桑杰·贾恩;李伟;弗兰克·斯蒂芬 可学习性和正等价关系。 (英语) Zbl 07798806号 Inf.计算。 295,A部分,文章ID 104913,21 p.(2023).MSC公司:第68季度32 03D25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Belanger}等人,信息计算。295,A部分,文章ID 104913,21 p.(2023;Zbl 07798806) 全文: 内政部 arXiv公司
奥尔加·马蒂诺娃;亚历山大·奥霍金 将图形行走自动机转换为停止、返回和可逆的状态复杂性。 (英语) Zbl 1506.68048号 Inf.计算。 291,文章ID 105011,24 p.(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Martynova}和\textit{A.Okhotin},Inf.Comput。291,文章ID 105011,24 p.(2023;Zbl 1506.68048) 全文: 内政部
Koga,Toshihiro先生 无前缀语言的正则闭包的泵引理。 (英语) Zbl 07629157号 Inf.计算。 289,A部分,文章ID 104976,14 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Koga},Inf.计算。289,A部分,文章ID 104976,14 p.(2022;Zbl 07629157) 全文: 内政部
卡隆,帕斯卡;Hamel de le Court,埃德温;Jean-Gabriel卢克 根和布尔运算的组合:应用程序到状态的复杂性。 (英语) Zbl 07629152号 Inf.计算。 289,A部分,文章ID 104961,18 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Caron}等人,《信息计算》。289,A部分,文章ID 104961,18 p.(2022;Zbl 07629152) 全文: 内政部
卡洛斯·马丁·维德(编辑);比安卡·特鲁特(编辑) 特刊:第14届语言与自动机理论与应用国际会议论文集,LATA 2020。 (英语) Zbl 1496.00072号 Inf.计算。 288,文章ID 104912,3 p.(2022).MSC公司:00B25型 68-06 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Martín-Vide}(编辑)和\textit{B.Truthe}(主编),Inf.Comput。288,文章ID 104912,3 p.(2022;Zbl 1496.00072) 全文: 内政部
艾哈迈特·比拉尔·乌桑;喂,A.C.杰姆 有限自动机之间的建议层次结构。 (英语) Zbl 07601281号 Inf.计算。 288,文章ID 104878,13 p.(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Uçan}和\textit{A.C.Say},Inf.Comput。288,文章ID 104878,13 p.(2022;Zbl 07601281) 全文: 内政部
让·内罗 可变长度代码与编辑关系无关或闭合。 (英语) Zbl 07601277号 Inf.计算。 288,文章ID 104747,18 p.(2022).MSC公司:65年第68季度 94A45型 PDF格式BibTeX公司 XML格式引用 \textit{J.Néraud},Inf.计算。288,文章ID 104747,18 p.(2022;Zbl 07601277) 全文: 内政部 arXiv公司
M.Utkan Gezer;喂,A.C.杰姆 具有任意小误差的恒定空间、恒定随机验证器。 (英语) Zbl 07601276号 Inf.计算。 288,文章ID 104744,13 p.(2022).MSC公司:65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.U.Gezer}和\textit{A.C.Say},信息计算。288,文章ID 104744,13 p.(2022;Zbl 07601276) 全文: 内政部 arXiv公司
汉斯·赞特马;维布·博斯马 自动序列的复杂性。 (英语) Zbl 07601275号 Inf.计算。 288,文章ID 104710,17 p.(2022).MSC公司:65年第68季度 11B85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.Zantema}和\textit{W.Bosma},信息计算。288,文章ID 104710,17 p.(2022;Zbl 07601275) 全文: 内政部
山崎富代 多项式尺寸量子有限自动机的非一致族和带有多项式尺寸建议的量子对数空间计算。 (英语) Zbl 1487.68153号 Inf.计算。 286,文章ID 104783,26 p.(2022).MSC公司:65年第68季度 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{T.Yamakami},Inf.计算。286,文章ID 104783,26 p.(2022;Zbl 1487.68153) 全文: 内政部 arXiv公司
汉斯·约尔格·克鲁斯基;萨宾·库斯克;亚伦·赖伊 将Petri网变体转换为上下文相关的融合文法。 (英语) 兹比尔1487.68139 Inf.计算。 286,文章ID 104780,15 p.(2022).MSC公司:2012年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}等人,《信息计算》。286,文章ID 104780,15 p.(2022;Zbl 1487.68139) 全文: 内政部
加琳娜·吉尔亚斯科娃;Ondřej,克里马 关于确定性biautomata识别的线性语言。 (英语) Zbl 1487.68148号 Inf.计算。 286,文章ID 104778,22 p.(2022).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{O.Kli ma},Inf.Compute。286,文章ID 104778,22 p.(2022;Zbl 1487.68148) 全文: 内政部
斯蒂芬·芬纳;丹尼尔·帕德;托马斯·蒂拉夫 正则填字游戏的复杂性。 (英语) Zbl 1487.68126号 Inf.计算。 286,文章ID 104777,第18页(2022).MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Fenner}等人,《信息计算》。286,文章ID 104777,18 p.(2022;Zbl 1487.68126) 全文: 内政部
爱荷华州博内娃;约阿希姆·尼伦;莫马尔·萨霍 具有约束上下文变量的压缩树模式上的规则匹配和包含。 (英语) Zbl 1487.68141号 Inf.计算。 286,文章ID 104776,25 p.(2022).MSC公司:65年第68季度 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Boneva}等人,《信息计算》。286,文章ID 104776,第25页(2022;Zbl 1487.68141) 全文: 内政部 链接
卡洛斯·马丁·维德(编辑);比安卡·特鲁特(编辑) 特刊:2019年LATA第13届语言与自动机理论与应用国际会议论文集。 (英语) Zbl 1487.68019号 Inf.计算。 286,文章ID 104775,2 p.(2022).MSC公司:68-06 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Martín-Vide}(编辑)和\textit{B.Truthe}(主编),Inf.Comput。286,文章ID 104775,2 p.(2022;Zbl 1487.68019) 全文: 内政部
贾科·佩尔托马奇;维勒·萨洛 自动获胜班次。 (英语) Zbl 1507.68170号 Inf.计算。 285,B部分,文章ID 104883,21 p.(2022). 审核人:米歇尔·里戈(Liège) MSC公司:65年第68季度 11B85号 37B51号 68兰特 91A46型 PDF格式BibTeX公司 XML格式引用 \textit{J.Peltomäki}和\textit{V.Salo},Inf.Compute。285,B部分,文章ID 104883,21 p.(2022;Zbl 1507.68170) 全文: 内政部 arXiv公司
李永明;王,钱;李三江 关于形式幂级数的商。 (英语) Zbl 07538326号 Inf.计算。 285,B部分,文章ID 104874,28 p.(2022).MSC公司:65年第68季度 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,信息计算。285,B部分,文章ID 104874,28 p.(2022;Zbl 07538326) 全文: 内政部 arXiv公司
曼弗雷德·德罗斯特;斯文·齐亚德克;沃纳·库奇 代数系统和加权简单下推自动机的Greibach范式。 (英语) Zbl 1518.68167号 Inf.计算。 285,B部分,文章ID 104871,36 p.(2022).MSC公司:65年第68季度 2012年第68季度 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《信息计算》。285,B部分,文章ID 104871,36 p.(2022;Zbl 1518.68167) 全文: 内政部 arXiv公司
甄子丹;Yen、Hsu-Chun 关于双向有限传感器值问题的可判定性。 (英语) Zbl 1504.68120号 Inf.计算。 285,B部分,文章ID 104870,27 p.(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.-D.Yen}和\textit{H.-C.Yen{,Inf.Compute。285,B部分,文章ID 104870,27 p.(2022;Zbl 1504.68120) 全文: 内政部
桑杰·贾恩;Kuek、Shao Ning;埃里克·马丁;弗兰克·斯蒂芬 基于传感器的学习者。 (英语) Zbl 1526.68002号 Inf.计算。 283,文章ID 104676,26 p.(2022).MSC公司:第68季度32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,信息计算。283,文章ID 104676,26 p.(2022;Zbl 1526.68002) 全文: 内政部
劳拉·博泽利;穆拉诺,阿尼洛;阿德里亚诺·佩隆 无上下文时间形式:鲁棒自动机和线性时序逻辑。 (英语) Zbl 1528.68213号 Inf.计算。 283,文章ID 104673,30 p.(2022).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。283,文章ID 104673,30 p.(2022;Zbl 1528.68213) 全文: 内政部 链接
叶卡捷琳娜·巴基诺娃;阿特姆·巴沙林;伊戈尔·巴特马诺夫;康斯坦丁·吕波特;亚历山大·奥霍金;伊丽莎维塔·萨日涅娃 GF(2)上的形式语言。 (英语) Zbl 07488445号 Inf.计算。 283,文章ID 104672,19 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Bakinova}等人,《信息计算》。283,文章ID 104672,19 p.(2022;Zbl 07488445) 全文: 内政部
曼弗雷德·德罗斯特;斯文·齐亚德克;沃纳·库奇 \(\omega\)-下推自动机的逻辑。 (英语) Zbl 1491.68097号 Inf.计算。 282,文章ID 104659,11 p.(2022). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:65年第68季度 03B16号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《信息计算》。282,文章ID 104659,第11页(2022;Zbl 1491.68097) 全文: 内政部
曼弗雷德·德罗斯特;斯特凡·杜克;迪诺·曼德里奥利;马蒂奥·普拉德拉 加权运算符优先语言。 (英语) Zbl 1483.68162号 Inf.计算。 282,文章ID 104658,26 p.(2022).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《信息计算》。282,文章ID 104658,26 p.(2022;Zbl 1483.68162) 全文: 内政部 arXiv公司 链接
佐尔坦,福尔öp;福格勒、海科 加权树语言的主要抽象族。 (英语) Zbl 1526.68005号 Inf.计算。 282,文章ID 104657,33 p.(2022).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Fülöp}和\textit{H.Vogler},Inf.Comput。282,文章ID 104657,33 p.(2022;Zbl 1526.68005) 全文: 内政部
马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔 定价时间自动机中的成本和回报。 (英语) Zbl 1483.68168号 Inf.计算。 282,文章ID 104656,17 p.(2022).MSC公司:65年第68季度 03B25号 11日72 2005年11月 91B02型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,《信息计算》。282,文章ID 104656,17 p.(2022;Zbl 1483.68168) 全文: 内政部 arXiv公司 链接
大卫,弗伦达;保罗·加斯廷;桑卡拉·纳拉亚南·克里希纳 正则变换的正则变换表达式。 (英语) Zbl 1485.68140号 Inf.计算。 282,文章ID 104655,28 p.(2022).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.Dave}等人,《信息计算》。282,文章ID 104655,第28页(2022;Zbl 1485.68140) 全文: 内政部 arXiv公司
博尔贾·巴勒;纪尧姆·拉布索 加权树自动机的近似最小化。 (英语) Zbl 1485.68133号 Inf.计算。 282,文章ID 104654,24 p.(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Balle}和\textit{G.Rabusseau},Inf.计算。282,文章ID 104654,24 p.(2022;Zbl 1485.68133) 全文: 内政部
阿曼,博格丹;加布里埃尔·乔巴努 移动代理系统和加权时间自动机中的声誉动态。 (英语) Zbl 1483.68220号 Inf.计算。 282,文章ID 104653,22 p.(2022).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Inf.Comput。282,文章ID 104653,22 p.(2022;Zbl 1483.68220) 全文: 内政部
马修·吉拉德;佛罗伦萨·杰克马尔 带合并和碎片的编辑距离的加权自动机计算。 (英语) Zbl 1483.68171号 Inf.计算。 282,文章ID 104652,15 p.(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Giraud}和\textit{F.Jacquemard},Inf.Compute。282,文章ID 104652,15 p.(2022;Zbl 1483.68171) 全文: 内政部 哈尔
沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 加权自动机的决定因素是什么? (英语) Zbl 1526.68003号 Inf.计算。 282,文章ID 104651,第20页(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,《信息计算》。282,文章ID 104651,20 p.(2022;Zbl 1526.68003) 全文: 内政部 链接
奥利维尔·卡尔顿;伊利莎·奥杜纳 通过传感器保持正常。 (英语) Zbl 1505.68021号 Inf.计算。 282,文章ID 104650,9 p.(2022). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}和\textit{E.Orduna},信息计算。282,文章ID 104650,第9页(2022;Zbl 1505.68021) 全文: 内政部 arXiv公司 哈尔
博尔贾·巴勒;帕斯卡尔·古尔多;帕南加登,普拉卡什 实数加权自动机的互模拟度量和规范。 (英语) Zbl 1483.68154号 Inf.计算。 282,文章ID 104649,19 p.(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Balle}等人,《信息计算》。282,文章ID 104649,19 p.(2022;Zbl 1483.68154) 全文: 内政部 arXiv公司
纳塔娜·菲亚尔科夫;克里斯蒂安·里维罗斯;詹姆斯·沃雷尔 有界模糊的概率自动机。 (英语) Zbl 1483.68165号 Inf.计算。 282,文章ID 104648,11 p.(2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人,《信息计算》。282,文章ID 104648,11 p.(2022;Zbl 1483.68165) 全文: 内政部 arXiv公司 哈尔
曼弗雷德·德罗斯特(编辑);安德烈亚斯·马莱蒂(编辑);福格勒、海科(编辑) 前言。 (英语) Zbl 1477.00061号 Inf.计算。 282,文章ID 104646,1 p.(2022).MSC公司:00B25型 68-06 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}(编辑)等,《信息计算》。282,文章ID 104646,1页(2022;Zbl 1477.00061) 全文: 内政部
雅诺·阿兰科;乔瓦娜·达戈斯蒂诺;阿尔贝托·波利里蒂;尼古拉·普雷扎 惠勒语言。 (英语) Zbl 1518.68162号 Inf.计算。 281,文章ID 104820,27 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Alanko}等人,《信息计算》。281,文章ID 104820,27 p.(2021;Zbl 1518.68162) 全文: 内政部 arXiv公司
何勇;陈雪萍;李刚;孙世元 极端同步循环自动机。 (英语) Zbl 1518.68176号 Inf.计算。 281,文章ID 104817,36 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.He}等人,《信息计算》。281,文章ID 104817,36 p.(2021;Zbl 1518.68176) 全文: 内政部
路易莎·赫尔曼 具有存储和逆线性树同态的线性加权树自动机。 (英语) Zbl 1518.68175号 Inf.计算。 281,文章ID 104816,23 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Herrmann},信息计算。281,文章ID 104816,23 p.(2021;Zbl 1518.68175) 全文: 内政部
布鲁诺·吉隆;马丁·库特里布;安德烈亚斯·马尔彻;卢卡·普里吉奥尼埃罗 可逆下推式传感器。 (英语) Zbl 1518.68172号 Inf.计算。 281,文章ID 104813,16 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Guillon}等人,信息计算。281,文章ID 104813,16 p.(2021;Zbl 1518.68172) 全文: 内政部 哈尔
尤根·达索 关于语言的闭包进化操作轨道的一些评论。 (英语) Zbl 1518.68165号 Inf.计算。 281,文章ID 104811,8 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Dassow},Inf.计算。281,文章ID 104811,8 p.(2021;Zbl 1518.68165) 全文: 内政部
Alexander A.Rubtsov。;米哈伊尔·尼·维亚利。 关于集合自动机的计算复杂性。 (英语) Zbl 1518.68191号 Inf.计算。 281,文章ID 104797,25 p.(2021).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Rubtsov}和\textit{M.N.Vyalyi},Inf.Comput。281,文章ID 104797,25 p.(2021;Zbl 1518.68191) 全文: 内政部 arXiv公司
周,南;杨倩;彭,洪;王军;罗晓辉 用于生成字符串语言的非线性神经P系统。 (英语) Zbl 1518.68125号 Inf.计算。 281,文章ID 104789,12 p.(2021).MSC公司:2007年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhou}等人,《信息计算》。281,文章ID 104789,12 p.(2021;Zbl 1518.68125) 全文: 内政部
Ko,S.K.(韩国)。;尼斯卡宁,R。;波塔波夫,I。 整数上低维非确定性多项式映射的可达性问题。 (英语) Zbl 1521.37041号 Inf.计算。 281,文章ID 104785,第18页(2021).MSC公司:第37页第99页 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Ko}等人,《信息计算》。281,文章ID 104785,18 p.(2021;Zbl 1521.37041) 全文: 内政部 链接
理查德·莫尔比茨;福格勒、海科 多算子幺半群上基于语法的语言模型的加权解析。 (英语) Zbl 1518.68159号 Inf.计算。 281,文章ID 104774,48 p.(2021).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mörbitz}和\textit{H.Vogler},信息计算。281,文章ID 104774,48 p.(2021;Zbl 1518.68159) 全文: 内政部 arXiv公司
弗雷德里克·德班德 M-幺半群上加权森林语言的Kleene定理和Büchi定理。 (英语) Zbl 1518.68166号 Inf.计算。 281,文章ID 104765,21 p.(2021).MSC公司:65年第68季度 68问题55 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Dörband},Inf.计算。281,文章ID 104765,21 p.(2021;Zbl 1518.68166) 全文: 内政部
亚历山大·拉比诺维奇;蒂弗雷特,多伦 关于Büchi树自动机的模糊度。 (英语) Zbl 1518.68190号 Inf.计算。 281,文章ID 104750,21 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{D.Tiferet},Inf.Comput。281,文章ID 104750,21 p.(2021;Zbl 1518.68190) 全文: 内政部
李勇;陈玉芳;张丽君;刘德鹏 一种新的基于DFA族和分类树的Büchi自动机学习算法。 (英语) Zbl 1518.68150号 Inf.计算。 281,文章ID 104678,32 p.(2021).MSC公司:第68季度32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《信息计算》。281,文章ID 104678,32 p.(2021;Zbl 1518.68150) 全文: 内政部 arXiv公司
桑杰·贾恩;弗兰克·斯蒂芬;托马斯·齐格曼 从文本中学习形式语言的非结构化程度。 (英语) Zbl 1514.68088号 Inf.计算。 281,文章ID 104668,14 p.(2021).MSC公司:第68季度32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,《信息计算》。281,文章ID 104668,14 p.(2021;Zbl 1514.68088) 全文: 内政部 链接
何锡铭;周若瑜;蒂莫西·琼斯。 时间超属性。 (英语) Zbl 1518.68207号 Inf.计算。 280,文章ID 104639,18 p.(2021).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,《信息计算》。280,文章ID 104639,18 p.(2021;Zbl 1518.68207) 全文: 内政部 链接
内德霍夫,Mark-Jan;安西Yli-Jyrä 不连续解析的派生模型。 (英语) Zbl 1497.68245号 Inf.计算。 279,文章ID 104619,16 p.(2021).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.-J.Nederhof}和\textit{A.Yli-Jyrä},Inf.Compute。279,文章ID 104619,16 p.(2021;Zbl 1497.68245) 全文: 内政部 链接
Han、Yo-Sub;Ko,Sang Ki先生;蒂莫西·吴;凯·萨洛马 多种正则语言的一致字符串问题。 (英语) Zbl 1497.68269号 Inf.计算。 279,文章ID 104615,9 p.(2021).MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-S.Han}等人,《信息计算》。279,文章ID 104615,9 p.(2021;Zbl 1497.68269) 全文: 内政部
唐,亨克;汉斯·赞特马;米歇尔·德·邦德 用固定的字母大小缓慢同步自动机。 (英语) Zbl 1497.68258号 Inf.计算。 279,文章ID 104614,19 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Don}等人,《信息计算》。279,文章ID 104614,19 p.(2021;Zbl 1497.68258) 全文: 内政部 arXiv公司
弗拉维奥·达莱桑德罗;奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 关于有限索引索引文法及其限制。 (英语) Zbl 1497.68242号 Inf.计算。 279,文章ID 104613,13 p.(2021).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.D‘Alessandro}等人,信息计算。279,文章ID 104613,13 p.(2021;Zbl 1497.68242) 全文: 内政部 arXiv公司
伊万格洛斯·查齐卡利姆尼奥斯;Wan Fokkink公司;格鲁,迪克;布利尼奥洪德;彼得·罗格斯 检测下推自动机中无用的转换。 (英语) Zbl 1497.68255号 Inf.计算。 279,文章ID 104612,12 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Chatzikalymnios}等人,《信息计算》。279,文章ID 104612,12 p.(2021;Zbl 1497.68255) 全文: 内政部 arXiv公司
大卫·布雷索林;伊万·拉内斯 静态和动态属性提供更新。 (英语) Zbl 1497.68251号 Inf.计算。 279,文章ID 104611,第24页(2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}和\textit{I.Lanese},Inf.Comput。279,文章ID 104611,24 p.(2021;Zbl 1497.68251) 全文: 内政部 哈尔
卡洛斯·马丁·维德(编辑);比安卡·特鲁特(编辑) 特刊:2017年LATA第十一届语言与自动机理论与应用国际会议论文集。 (英语) Zbl 1497.68020号 Inf.计算。 279,文章ID 104610,3 p.(2021).MSC公司:68-06 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Martín-Vide}(编辑)和\textit{B.Truthe}(主编),Inf.Comput。279,文章ID 104610,3页(2021;Zbl 1497.68020) 全文: 内政部
达纳州安格鲁因;达纳·菲斯曼 正则\(\omega \)-具有信息右同余的语言。 (英语) Zbl 1497.68247号 Inf.计算。 278,文章ID 104598,17 p.(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}和\textit{D.Fisman},Inf.Comput。278,文章ID 104598,第17页(2021;兹bl 1497.68247) 全文: 内政部
Przybyłko,马钦;Micha Skrzypczak 无限树的简单正则集的一致测度。 (英语) Zbl 1497.68276号 Inf.计算。 278,文章ID 104595,24 p.(2021).MSC公司:65年第68季度 05年3月 03E15年 60J85型 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Przybyłko}和\textit{M.Skrzypczak},Inf.Comput。278,文章ID 104595,24 p.(2021;Zbl 1497.68276) 全文: 内政部 arXiv公司
安德烈亚·奥兰迪尼(编辑);马丁·齐默尔曼(编辑) 前言。 (英语) Zbl 1462.68006号 Inf.计算。 278,文章ID 104591,2 p.(2021).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlandini}(编辑)和textit{M.Zimmermann}(主编),《Inf.Compute》。278,文章ID 104591,第2页(2021;兹bl 1462.68006) 全文: 内政部
乔治·泽采 图幺半群上价自动机的空性问题。 (英语) Zbl 1475.68170号 Inf.计算。 277,文章ID 104583,18 p.(2021).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Zetzsche},Inf.计算。277,文章ID 104583,18 p.(2021;Zbl 1475.68170) 全文: 内政部 arXiv公司
贝拉德,B。;哈达德,S。;皮卡罗尼,C。;Safey El Din,M。;萨索拉斯,M。 多项式中断时间自动机:验证和表达。 (英语) Zbl 1475.68145号 Inf.计算。 277,文章ID 104580,15 p.(2021).MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《信息计算》。277,文章ID 104580,15 p.(2021;Zbl 1475.68145) 全文: 内政部 哈尔
朱利安·古铁雷斯;朱塞佩·佩雷利;迈克尔·伍尔德里奇 有限轨迹上LDL目标的多人游戏。 (英语) Zbl 1497.68305号 Inf.计算。 276,文章ID 104555,17 p.(2021).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 68T42型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息计算》。276,文章ID 104555,17 p.(2021;Zbl 1497.68305) 全文: 内政部 arXiv公司
詹姆斯·莱尔德 高阶计算的加权模型。 (英语) Zbl 1496.68146号 Inf.计算。 275,文章ID 104645,35 p.(2020).MSC公司:2009年第68季度 03楼52 18 C50 18D20天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Laird},Inf.计算。275,文章ID 104645,35 p.(2020;Zbl 1496.68146) 全文: 内政部 链接
徐明;邓玉欣 具有时滞的概率规划的有时限终止分析。 (英语) Zbl 1496.68120号 Inf.计算。 275,文章ID 104634,24 p.(2020).MSC公司:68号30 65年第68季度 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Y.Deng},Inf.Compute。275,文章ID 104634,24 p.(2020;Zbl 1496.68120) 全文: 内政部
米查尔·库克;亚历山大·奥霍金 图行走自动机中计算的可逆性。 (英语) Zbl 1496.68176号 Inf.计算。 275,文章ID 104631,33 p.(2020).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunc}和\textit{A.Okhotin},信息计算。275,文章ID 104631,33 p.(2020;Zbl 1496.68176) 全文: 内政部
塔拉·布鲁;艾伦·J·凯恩。 二元关系的一种语言层次结构。 (英语) Zbl 1496.68173号 Inf.计算。 275,文章ID 104607,14 p.(2020).MSC公司:65年第68季度 2005年5月20日 20立方米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brough}和\textit{A.J.Cain},Inf.Comput。275,文章ID 104607,14 p.(2020;Zbl 1496.68173) 全文: 内政部 arXiv公司
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;Gennaro帕拉托 作用域范围内的多级下推系统的可达性。 (英语) Zbl 1496.68235号 Inf.计算。 275,文章ID 104588,26 p.(2020).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,《信息计算》。275,文章ID 104588,26 p.(2020;Zbl 1496.68235) 全文: 内政部
胡里奥·阿拉塞纳;马克西米利安·加杜洛;理查德·阿德里安;莉莲·萨利纳斯 异步修复单调布尔网络。 (英语) Zbl 1455.68081号 Inf.计算。 274,文章ID 104540,17 p.(2020).MSC公司:65年第68季度 37B10号机组 37E25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Aracena}等人,《信息计算》。274,文章ID 104540,17 p.(2020;Zbl 1455.68081) 全文: 内政部 arXiv公司 链接
马塞拉·安塞尔莫;多拉·贾马雷西;玛丽亚·马多尼亚 无限二维强前缀码的特征和测度。 (英语) Zbl 1460.68048号 Inf.计算。 274,文章ID 104536,第13页(2020).MSC公司:65年第68季度 94A45型 PDF格式BibTeX公司 XML格式引用 \textit{M.Anselmo}等人,《信息计算》。274,文章ID 104536,13 p.(2020;Zbl 1460.68048) 全文: 内政部
安蒂·库西斯托;费比安·雷特 分布式自动机的空问题。 (英语) Zbl 1443.68091号 Inf.计算。 272,文章ID 104503,16 p.(2020).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kuusisto}和\textit{F.Reiter},Inf.Comput。272,文章ID 104503,16 p.(2020;Zbl 1443.68091) 全文: 内政部 arXiv公司
莎拉·温特;马丁·齐默尔曼 延迟博弈中的有限状态策略。 (英语) Zbl 1443.68100号 Inf.计算。 272,文章ID 104500,19 p.(2020).MSC公司:65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Winter}和\textit{M.Zimmermann},Inf.Compute。272,文章ID 104500,19 p.(2020;Zbl 1443.68100) 全文: 内政部 arXiv公司
曼弗雷德·德罗斯特;特默尔库西亚;拉霍尼斯,乔治;沃尔夫冈·施莱纳 McCarthy-Kleene模糊自动机和MSO逻辑。 (英语) Zbl 1443.68087号 Inf.计算。 272,文章ID 104499,22 p.(2020).MSC公司:65年第68季度 03B52号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《信息计算》。272,文章ID 104499,22 p.(2020;Zbl 1443.68087) 全文: 内政部 arXiv公司
穆拉诺,阿尼洛(编辑);帕特里夏·布耶(编辑);圣彼得罗,皮耶路易吉(编辑);安德烈亚·奥兰迪尼(编辑) 前言。 (英语) Zbl 1443.68019号 Inf.计算。 272,文章ID 104497,1 p.(2020).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Murano}(编辑)等人,Inf.Comput。272,文章ID 104497,1页(2020;Zbl 1443.68019) 全文: 内政部
Kari,雅科;米查尔·萨巴多斯 Nivat猜想的代数几何方法。 (英语) Zbl 1434.68266号 Inf.计算。 271,文章ID 104481,25 p.(2020).MSC公司:65年第68季度 13层25 37B10号机组 37B51号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Kari}和\textit{M.Szabados},Inf.Compute。271,文章ID 104481,25 p.(2020;Zbl 1434.68266) 全文: 内政部 arXiv公司
约翰内斯·奥斯特霍尔泽;迪特兹,托尼;路易莎·赫尔曼 线性无上下文树语言和逆同态。 (英语) Zbl 1436.68185号 Inf.计算。 269,文章ID 104454,25 p.(2019). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Osterholzer}等人,《信息计算》。269,文章ID 104454,25 p.(2019;Zbl 1436.68185) 全文: 内政部 arXiv公司
梅尔,克劳斯;阿梅恩·奈夫 实域上的周期广义自动机。 (英语) 兹比尔1435.68178 Inf.计算。 269,文章ID 104452,第11页(2019年).MSC公司:65年第68季度 05年3月 03D78号 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer}和\textit{A.Naif},Inf.Compute。269,文章ID 104452,11 p.(2019;Zbl 1435.68178) 全文: 内政部
奥尔纳·库普弗曼;莎莱·申瓦尔德 有容量的自动机和系统。 (英语) Zbl 1435.68175号 Inf.计算。 269,文章ID 104451,15 p.(2019).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{S.Sheinvald},Inf.Comput。269,文章ID 104451,15 p.(2019;Zbl 1435.68175) 全文: 内政部
Makoto金泽 奥格登引理、多个上下文无关文法和控制语言层次结构。 (英语) Zbl 1435.68172号 Inf.计算。 269,文章ID 104449,17 p.(2019).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanazawa},Inf.计算。269,文章ID 104449,17 p.(2019;Zbl 1435.68172) 全文: 内政部
路易莎·赫尔曼;福格勒、海科;曼弗雷德·德罗斯特 带存储的加权自动机。 (英语) Zbl 1435.68164号 Inf.计算。 269,文章ID 104447,29 p.(2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Herrmann}等人,《信息计算》。269,文章ID 104447,29 p.(2019;Zbl 1435.68164) 全文: 内政部 链接
Götze,多琳;佐尔坦,福尔öp;曼弗雷德·德罗斯特 树赋值幺半群上加权树自动机的Kleene定理。 (英语) Zbl 1439.68014号 Inf.计算。 269,文章ID 104445,17 p.(2019). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Götze}等人,《信息计算》。269,文章ID 104445,17 p.(2019;Zbl 1439.68014) 全文: 内政部
克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano);圣彼得罗,皮耶路易吉 语法相关字母表的非退化Chomsky-Schützenberger定理。 (英语) Zbl 1435.68153号 Inf.计算。 269,文章ID 104442,17 p.(2019).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crespi Reghizzi}和\textit{P.San Pietro},Inf.Compute。269,文章ID 104442,17 p.(2019;Zbl 1435.68153) 全文: 内政部 arXiv公司
保罗·C·贝尔。;陈,尚;丽莎·杰克逊 有界语言上加权自动机和概率自动机的自由性。 (英语) Zbl 1435.68143号 Inf.计算。 269,文章ID 104440,13 p.(2019).MSC公司:65年第68季度 20立方米 第68季度第70季度 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Bell}等人,《信息计算》。269,文章ID 104440,13 p.(2019;Zbl 1435.68143) 全文: 内政部 链接
阿德里安·霍里亚·德迪乌(编辑);卡洛斯·马丁·维德(编辑);比安卡·特鲁特(编辑) 特刊:2016年LATA第十届语言与自动机理论与应用国际会议论文集。 (英语) Zbl 1435.68023号 Inf.计算。 269,文章ID 104438,第4页(2019年).MSC公司:68-06 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.-H.Dediu}(编辑)等,《信息计算》。269,文章ID 104438,第4页(2019;Zbl 1435.68023) 全文: 内政部
黄明章;傅洪飞;Joost-Pieter卡托恩 决定概率下推自动机和有限状态系统之间的概率模拟。 (英语) Zbl 1430.68147号 Inf.计算。 268,文章ID 104431,15 p.(2019).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huang}等人,《信息计算》。268,文章ID 104431,15 p.(2019;Zbl 1430.68147) 全文: 内政部 链接
萨宾·布罗达;马库斯·霍尔泽;伊娃·玛亚;内尔玛·莫雷拉;雷斯·罗热里奥 一个自动机网格。 (英语) Zbl 1430.68140号 Inf.计算。 265, 94-111 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Broda}等人,《信息计算》。26594--111(2019年;Zbl 1430.68140) 全文: 内政部
什特·潘·霍卢布;汤马斯·马斯托普斯;米夏·托马佐 子序列和前缀塔的高度。 (英语) Zbl 1434.68259号 Inf.计算。 265, 77-93 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Š.Holub}等人,《信息计算》。26577--93(2019年;Zbl 1434.68259) 全文: 内政部 arXiv公司
约翰·布鲁姆;法兰克·德雷维斯 正则DAG语言的语言理论性质。 (英语) Zbl 1430.68139号 Inf.计算。 265, 57-76 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Blum}和\textit{F.Drewes},Inf.Compute。265,57-76(2019年;兹比尔1430.68139) 全文: 内政部
约斯特·恩格尔弗里特 勘误表:“迭代堆栈自动机和复杂性类”。 (英语) Zbl 1414.68033号 Inf.计算。 267, 164-167 (2019).MSC公司:2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},Inf.计算。267164-167(2019年;Zbl 1414.68033) 全文: 内政部
奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 店内语言和应用程序。 (英语) Zbl 1422.68151号 Inf.计算。 267, 28-48 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{I.McQuillan},Inf.Comput。267、28-48(2019年;Zbl 1422.68151) 全文: 内政部 arXiv公司
乔瓦尼·皮奇奇尼;卢卡·普里吉奥尼埃罗 有限自动机和一元语言。 (英语) Zbl 1427.68153号 Inf.计算。 266, 60-74 (2019). 审核人:彼得·科斯托拉尼(布拉迪斯拉发) MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pighizini}和\textit{L.Prigioniero},Inf.Compute。266、60-74(2019年;Zbl 1427.68153) 全文: 内政部 链接
亚历山大·奥霍金 连接文法和布尔文法最难的语言。 (英语) Zbl 1426.68152号 Inf.计算。 266,1-18(2019). 审核人:彼得·科斯托拉尼(布拉迪斯拉发) MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin},Inf.计算。2661-18(2019年;Zbl 1426.68152) 全文: 内政部
米尔卡胡塔加隆;诺伯特·亨德斯哈根;迪特里赫·库斯克;马丁·兰格;爱蒂安·洛兹 多缓冲区模拟:可判定性和复杂性。 (英语) Zbl 1400.68105号 Inf.计算。 262,第2部分,280-310(2018).MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hutagalung}等人,《信息计算》。262,第2部分,280-310(2018;Zbl 1400.68105) 全文: 内政部 哈尔
卢卡·博托卢西;罗伯塔·兰西亚尼;劳拉·内兹 用随机近似检验马尔可夫种群模型。 (英语) Zbl 1400.68120号 Inf.计算。 262,第2部分,189-220(2018).MSC公司:60年第68季度 60年28日 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,《Inf.Compute》。262,第2部分,189--220(2018;Zbl 1400.68120) 全文: 内政部 arXiv公司
坎通纳,多梅尼科(编辑);乔治·德尔扎诺(编辑) 前言:游戏、自动机、逻辑和形式验证(GandALF 2016)。 (英语) Zbl 1400.68017号 Inf.计算。 262,第2部分,187-188(2018).MSC公司:68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}(编辑)和\textit{G.Delzanno}(主编),Inf.Compute。262,第2部分,187--188(2018;Zbl 1400.68017) 全文: 内政部
艾森特,克里斯蒂安;霍尔格·赫尔曼斯;约翰·舒斯特;安德烈亚·图里尼;张丽君 对概率和马尔可夫自动机的最小商的追求。 (英语) Zbl 1400.68132号 Inf.计算。 262,第1部分,162-186(2018).MSC公司:68问题85 65年第68季度 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentaut}等人,信息计算。262,第1部分,162--186(2018;Zbl 1400.68132) 全文: 内政部
劳雷·达沃;查尔斯·帕普曼 由单词的Kleene星生成的语言类。 (英语) Zbl 1408.68097号 Inf.计算。 262,第1部分,90-109(2018). 审核人:马格努斯·斯坦比(图尔库) MSC公司:第68季度第70季度 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Daviaud}和\textit{C.Paperman},信息计算。262,第1部分,90--109(2018;Zbl 1408.68097) 全文: 内政部 链接
本杰明·阿米诺夫;穆拉诺,阿尼洛;萨沙·鲁宾 使用分级路径模式的CTL(^\ast)。 (英语) Zbl 1407.03028号 Inf.计算。 262,第1部分,1-21(2018). 审核人:马丁·兰格(卡塞尔) MSC公司:03B44号 03B25号 05年3月 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。262,第1部分,1--21(2018;Zbl 1407.03028) 全文: 内政部 链接
艾曼纽·菲利奥特;塞巴斯蒂安·马内思;皮埃尔·阿莱·雷尼尔;Jean-Marc Talbot 具有原点的树型传感器的决策问题。 (英语) Zbl 1396.68065号 Inf.计算。 261,第2部分,311-335(2018). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Filiot}等人,《信息计算》。261,第2部分,311--335(2018;Zbl 1396.68065) 全文: 内政部 哈尔
奥德·戈尔德雷奇;古尔,汤姆;罗恩·罗斯布卢姆。 无上下文语言和只读分支程序的邻近性证明。 (英语) Zbl 1395.68169号 Inf.计算。 261,第2部分,175-201(2018).MSC公司:65年第68季度 20层03 65年第68季度 第68页第15页 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{O.Goldreich}等人,《信息计算》。261,第2部分,175--201(2018;兹bl 1395.68169) 全文: 内政部