苏布拉马尼,K。;彼得·沃伊切霍基(Piotr Wojciechowki);阿尔瓦罗·贝拉斯克斯 Horn约束系统上的Farkas界。 (英语) Zbl 07835106号 理论计算。系统。 68,第2期,227-249(2024).MSC公司:68季度xx 90立方厘米 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{K.Subramani}等人,理论计算。系统。68,编号2,227--249(2024;Zbl 07835106) 全文: 内政部
克里斯·科彻 可靠和有损队列自动机上的可达性问题。 (英语) Zbl 1503.68174号 理论计算。系统。 65,第8期,1211-1242(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Köcher},理论计算。系统。65,第8号,1211--1242(2021;Zbl 1503.68174) 全文: 内政部
蒂鲍特·巴拉邦斯基;阿梅利·德尔加;里格、莱昂内尔;塞巴斯蒂安·蒂谢尔;泽维尔·乌尔拜恩 无多重性检测的同步采集:一种经认证的算法。 (英语) Zbl 1423.68522号 理论计算。系统。 63,第2期,200-218(2019).MSC公司:68T40型 68吨15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{T.Balabonski}等人,理论计算。系统。63,编号2200-218(2019;兹bl 1423.68522) 全文: 内政部
格格利·科瓦什奈;安德烈亚斯·弗里奇;阿明·比尔 固定大小位向量逻辑的复杂性。 (英语) Zbl 1357.68086号 理论计算。系统。 59,第2号,323-376(2016).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《理论计算》。系统。59,第2号,323--376(2016;Zbl 1357.68086) 全文: 内政部
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 多加权自动机和MSO逻辑。 (英语) Zbl 1356.68130号 理论计算。系统。 59,第2期,231-261(2016).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{V.Perevoshchikov},理论计算。系统。59,第2号,231--261(2016;Zbl 1356.68130) 全文: 内政部 arXiv公司
普拉蒂克,卡兰迪卡尔;菲利普·施诺贝伦 广义后嵌入问题。 (英语) Zbl 1316.03020号 理论计算。系统。 56,第4期,697-716(2015).MSC公司:05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Karandikar}和\textit{P.Schnoebelen},理论计算。系统。56,第4号,697--716(2015;Zbl 1316.03020) 全文: 内政部 arXiv公司
马塞洛·阿里纳斯;巴勃罗·巴塞洛;利奥尼德·利金 嵌套词的正则语言:不动点、自动机和同步。 (英语) Zbl 1236.68160号 理论计算。系统。 49,第3期,639-670(2011). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Arenas}等人,理论计算。系统。49,第3号,639--670(2011;Zbl 1236.68160) 全文: 内政部 链接