马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 关于输入驱动下推自动机的推动或静止运动的功率。 (英语) Zbl 07827497号 西奥。计算。科学。 996,文章ID 114503,第13页(2024)。理学硕士:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。996,文章ID 114503,13 p.(2024;Zbl 07827497) 全文: 内政部 OA许可证
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 一元语言上的迭代一致有限状态变换器。 (英语) Zbl 07720780号 西奥。计算。科学。 969,文章ID 114049,17 p.(2023)。理学硕士:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。969,文章编号114049,17 p.(2023;Zbl 07720780) 全文: 内政部 OA许可证
马丁·库特里布;马蒂亚斯·温德兰特 有限部分语言的状态复杂性。 (英语) Zbl 07699969号 西奥。计算。科学。 966-967,文章ID 114001,11 p.(2023)。理学硕士:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{M.Wendlandt},Theor。计算。科学。966--967,文章ID 114001,11 p.(2023;Zbl 07699969) 全文: 内政部
马丁·库特里布;乌韦·迈耶 语法检查。 (英语) Zbl 07699968号 西奥。计算。科学。 966-967,文章ID 114000,11 p.(2023)。理学硕士:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{U.Meyer},Theor。计算。科学。966-967,文章ID 114000,11页(2023;Zbl 07699968) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 输入驱动的多计数器自动机。 (英语) Zbl 1504.68107号 西奥。计算。科学。 870, 121-136 (2021)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。870、121--136(2021年;Zbl 1504.68107) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 用有限状态机进行可逆变换。 (英语) Zbl 1429.68122号 西奥。计算。科学。 787, 111-126 (2019)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。787111--126(2019年;Zbl 1429.68122) 全文: 内政部
马丁·库特里布;马蒂亚斯·温德兰特 无连接语言。 (英语) Zbl 1371.68157号 西奥。计算。科学。 679, 83-94 (2017)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{M.Wendlandt},Theor。计算。科学。679,83-94(2017;Zbl 1371.68157) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 单向可逆多头有限自动机。 (英语) Zbl 1371.68156号 西奥。计算。科学。 682, 149-164 (2017)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。682149-164(2017年;Zbl 1371.68156) 全文: 内政部
马库斯·霍尔泽;塞巴斯蒂安·雅各比;马丁·库特里布 语言的印章。 (英语) Zbl 1377.68112号 西奥。计算。科学。 682122-137(2017)。 审核人:安德烈亚斯·马莱蒂(莱比锡) 理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,Theor。计算。科学。682122--137(2017年;Zbl 1377.68112) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺;马蒂亚斯·温德兰特 确定性输入驱动队列自动机:有限圈、可判定性和闭包属性。 (英语) Zbl 1312.68122号 西奥。计算。科学。 578, 58-71 (2015)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。578、58--71(2015;Zbl 1312.68122) 全文: 内政部
马库斯·霍尔泽;马丁·库特里布;卡加·梅克尔 无星语言的非确定性状态复杂性。 (英语) Zbl 1278.68135号 西奥。计算。科学。 450, 68-80 (2012)。 审核人:乔瓦尼·皮奇奇尼(米兰) 理学硕士:65年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,Theor。计算。科学。450,68-80(2012年;兹bl 1278.68135) 全文: 内政部
马库斯·霍尔泽(编辑);马丁·库特里布(编辑);乔瓦尼·皮奇奇尼(编辑) 特刊:正式系统的描述复杂性(DCFS 2011)。根据2011年7月25日至27日在德国吉森举行的第13届国际研讨会上的演讲,选出了一些论文。 (英语) Zbl 1246.68040号 西奥。计算。科学。第449页、第144页。(2012). 理学硕士:68-06 00B25型 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式
马丁·库特里布;安德烈亚斯·马尔彻 细胞间带宽有限的细胞自动机。 (英语) Zbl 1216.68174号 西奥。计算。科学。 412,第30号,3917-3931(2011)。理学硕士:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。412,第30号,3917-3931(2011;Zbl 1216.68174) 全文: 内政部
马库斯·霍尔泽;马丁·库特里布;安德烈亚斯·马尔彻 多头有限自动机的复杂性:起源和方向。 (英语) Zbl 1207.68188号 西奥。计算。科学。 412,编号1-2,83-96(2011)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,Theor。计算。科学。412,编号1--2,83-96(2011;Zbl 1207.68188) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 具有稀疏通信的细胞自动机。 (英语) Zbl 1207.68214号 西奥。计算。科学。 411,编号38-39,3516-3526(2010)。理学硕士:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。411、编号38-39、3516-3526(2010;Zbl 1207.68214) 全文: 内政部 链接
马丁·库特里布;安德烈亚斯·马尔彻 实时可逆迭代阵列。 (英语) Zbl 1183.68345号 西奥。计算。科学。 411,编号4-5,812-822(2010)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。411,编号4--5,812--822(2010;Zbl 1183.68345) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;拉里萨·沃林 下推自动机中的调节不确定性。 (英语) Zbl 1194.68142号 西奥。计算。科学。 410,第37号,3447-3460(2009)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。410,编号37,3447--3460(2009;Zbl 1194.68142) 全文: 内政部
海宁·博迪恩;马库斯·霍尔泽;马丁·库特里布 确定接受子区域语言的有限自动机。 (英语) Zbl 1173.68030号 西奥。计算。科学。 410,第35号,3209-3222(2009)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,Theor。计算。科学。410,编号35,3209--3222(2009;Zbl 1173.68030) 全文: 内政部
赫尔曼·格鲁伯;马库斯·霍尔泽;马丁·库特里布 希格曼·海恩斯集的大小。 (英语) 兹比尔1143.68035 西奥。计算。科学。 387,第2167-176号(2007年)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gruber}等人,Theor。计算。科学。387,第2号,167--176(2007;Zbl 1143.68035) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻 下推自动机的上下文相关不确定性。 (英语) Zbl 1111.68060号 西奥。计算。科学。 376,编号1-2,101-111(2007)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。376,编号1--2,101-111(2007;Zbl 1111.68060) 全文: 内政部
马丁·库特里布 关于头部、计数器和鹅卵石的描述性力量。 (英语) Zbl 1078.68090号 西奥。计算。科学。 330,第2期,311-324(2005)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Kutrib},Theor。计算。科学。330,编号2,311--324(2005;Zbl 1078.68090) 全文: 内政部
马库斯·霍尔泽;马丁·库特里布 关于修改接受条件的有限自动机的描述复杂性。 (英语) Zbl 1078.68085号 西奥。计算。科学。 330,第2期,267-285(2005)。理学硕士:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}和\textit{M.Kutrib},Theor。计算。科学。330,第2号,267--285(2005;Zbl 1078.68085) 全文: 内政部
安德烈亚斯·克莱因;马丁·库特里布 快速单向细胞自动机。 (英语) Zbl 1051.68106号 西奥。计算。科学。 295,编号1-3,233-250(2003)。理学硕士:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Klein}和\textit{M.Kutrib},Theor。计算。科学。295,编号1--3233--250(2003;Zbl 1051.68106) 全文: 内政部
安德烈亚斯·克莱因;马丁·库特里布 实时和线性时间范围内的确定性图灵机。 (英语) Zbl 1061.68053号 西奥。计算。科学。 289,第1期,253-275(2002)。理学硕士:2005年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Klein}和\textit{M.Kutrib},Theor。计算。科学。289,第1号,253--275(2002;Zbl 1061.68053) 全文: 内政部
马丁·库特里布 下推细胞自动机。 (英语) Zbl 0913.68142号 西奥。计算。科学。 215,编号1-2,239-261(1999)。理学硕士:68问题80 65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Kutrib},Theor。计算。科学。215,编号1--2,239--261(1999;Zbl 0913.68142) 全文: 内政部