Mikołaj博扬奇克 树的代数。 (英语) Zbl 1517.68255号 Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。801-838 (2021). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk},收录于:自动机理论手册。第一卷理论基础。柏林:欧洲数学学会(EMS)。801--838(2021年;Zbl 1517.68255) 全文: DOI程序
阿希姆·布卢门萨特 Eilenberg-Moore代数的代数语言理论。 (英语) Zbl 07350772号 日志。方法计算。科学。 17,第2号,第6号论文,60页(2021年).MSC公司:70年第68季度 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath},日志。方法计算。科学。17,第2号,第6号论文,60页(2021;Zbl 07350772) 全文: arXiv公司 链接
阿希姆·布卢门萨特 正则树代数。 (英语) Zbl 1528.68239号 日志。方法计算。科学。 16,第1号,第16号论文,第25页(2020年).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath},日志。方法计算。科学。16,第1号,第16号论文,25页(2020年;Zbl 1528.68239) 全文: arXiv公司
Mikołaj博扬奇克;巴托克·克林 一种由无限树组成的非正则语言,可由排序有限代数识别。 (英语) Zbl 1427.68178号 日志。方法计算。科学。 15,第4号,第11号论文,第13页(2019年).MSC公司:70年第68季度 08A40号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}和\textit{B.Klin},Log。方法计算。科学。15,第4号,第11号论文,第13页(2019年;Zbl 1427.68178) 全文: arXiv公司
Mikołaj博扬奇克;菲利波·卡瓦拉里;托马斯·普莱斯;Micha Skrzypczak 低级Wadge层次结构中的常规树语言。 (英语) Zbl 1509.03144号 日志。方法计算。科学。 15,第3号,第27号论文,61页(2019年).MSC公司:03E15年 05年3月 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Bojańczyk}等人,日志。方法计算。科学。15,第3号,第27号论文,61页(2019年;Zbl 1509.03144) 全文: arXiv公司
托马斯·伊齐亚塞克;Micha Skrzypczak;Mikołaj博扬奇克 细树的常规语言。 (英语) Zbl 1350.68173号 理论计算。系统。 58,第4期,614-663(2016). 审核人:赛义德·萨利希(大不里士) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Idziaszek}等人,理论计算。系统。58,编号4614-663(2016;兹bl 1350.68173) 全文: DOI程序 链接 OA许可证
沃伊切赫,切尔文斯基;维姆·马滕斯;Lorijn,van Rooijen;马克·泽图恩 关于分段可测试语言的可判定可分性的注记。 (英语) Zbl 1434.68242号 Kosowski,Adrian(编辑)等人,《计算理论基础》。2015年8月17日至19日,第20届国际研讨会,FCT 2015,波兰根斯克。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9210, 173-185 (2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinn ski}等人,Lect。注释计算。科学。9210,173--185(2015;Zbl 1434.68242) 全文: DOI程序
阿希姆·布卢门萨特 无限树代数的可识别性。 (英语) Zbl 1233.68159号 西奥。计算。科学。 412,第29号,3463-3486(2011). 审核人:马格努斯·斯坦比(图尔库) MSC公司:70年第68季度 08A70号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath},Theor(西奥)。计算。科学。412,第29号,3463-3486(2011;Zbl 1233.68159) 全文: DOI程序
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 判定传递模型上一致插值的存在性。 (英语) Zbl 1209.03012号 架构(architecture)。数学。逻辑 50,第1-2期,185-196(2011).MSC公司:03B45号 03B44号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi},拱门。数学。逻辑50,No.1--2,185--196(2011;Zbl 1209.03012) 全文: DOI程序