×

找到59个文档（结果1-59）

最新 引文 关联
马丁·库特里布;安德烈亚斯·马尔彻

可逆两部分计算。 （英语） Zbl 07828946号

Gazdag，Zsolt（ed.）等人，《第16届国际自动机和形式语言会议论文集》，AFL，匈牙利埃格尔，2023年9月5日至7日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）386142-154（2023）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，电子。程序。西奥。计算。科学。（EPTCS）386142--154（2023；Zbl 07828946）
全文： 内政部 arXiv公司
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特

排他非确定性有限自动机的复杂性。 （英语） 兹伯利07729462

Bordihn，Henning（编辑）等，形式系统的描述复杂性。第25届IFIP工作组1.02国际会议，DCFS 2023，波茨坦，德国，2023年7月4-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13918, 121-133 (2023).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，Lect。注释计算。科学。13918121-133（2023年；兹bl 07729462）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻

单向计数器自动机的可逆计算。 （英语） Zbl 07800498号

Bordihn，Henning（ed.）等人，《第十二届自动机和应用非经典模型国际研讨会论文集》，NCMA 2022，Debrecen，匈牙利，2022年8月26日至27日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）367126-142（2022）。
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，电子。程序。西奥。计算。科学。（EPTCS）367，126--142（2022；Zbl 07800498）
全文： arXiv公司 链接
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

一元语言上的迭代一致有限状态变换器。 （英语） Zbl 1490.68128号

Bureš，Tomáš（编辑）等人，《SOFSEM 2021：计算机科学的理论与实践》。第47届计算机科学理论与实践当前趋势国际会议，SOFSEM 2021，Bolzano-Bozen，意大利，2021年1月25-29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12607, 218-232 (2021).
MSC公司：65年第68季度 68问题80
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，Lect。注释计算。科学。12607、218--232（2021；Zbl 1490.68128）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻

元胞自动机一维模式生成。 （英语） Zbl 1492.68090号

Gwizdała，Tomasz M.（编辑）等人，《细胞自动机》。第十四届研究和工业细胞自动机国际会议，ACRI 2020，波兰罗兹，2020年12月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12599, 46-55 (2021).
MSC公司：68问题80 65年第68季度 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，莱克特。注释计算。科学。12599，46-55（2021年；兹比尔1492.68090）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

确定性和非确定性迭代均匀有限状态变换器：计算和描述能力。 （英语） Zbl 07633499号

Anselmo，Marcella（编辑）等人，《超越可计算性的视野》。第十六届欧洲可计算性会议，CiE 2020，意大利费西亚诺，2020年6月29日至7月3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12098, 87-99 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，Lect。注释计算。科学。12098，87-99（2020年；兹bl 07633499）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻

具有有限细胞间通信的迭代阵列。 （英语） Zbl 1425.68282号

Castill-Ramirez，Alonso（编辑）等人，《细胞自动机和离散复杂系统》。第25届IFIP WG 1.5国际研讨会，2019年6月26日至28日，墨西哥瓜达拉哈拉，AUTOMATA 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11525, 35-47 (2019).
MSC公司：68问题80 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，莱克特。注释计算。科学。11525，35-47（2019；Zbl 1425.68282）
全文： 内政部 哈尔
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特

队列自动机：基础和发展。 （英语） Zbl 1434.68274号

Adamatzky，Andrew（编辑），可逆性和普遍性。在森田贤一70岁生日之际，向他提交了论文。查姆：斯普林格。Emerg.复杂。计算。30, 385-431 (2018).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，《新兴复合体》。计算。30385--431（2018年；Zbl 1434.68274）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻

细胞自动机：描述的复杂性和可判定性。 （英语） Zbl 1434.68316号

Adamatzky，Andrew（编辑），可逆性和普遍性。在森田贤一70岁生日之际，向他提交了论文。查姆：斯普林格。新兴复杂性。计算。30, 129-168 (2018).
MSC公司：68问题80 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，新兴复合体。计算。30、129--168（2018；Zbl 1434.68316）
全文： 内政部
安德烈亚斯·马尔彻

稀疏通信迭代阵列的层次结构和不可判定性结果。 （英语） Zbl 1508.68235号

Baetens，Jan M.（编辑）等人，《细胞自动机和离散复杂系统》。第24届IFIP WG 1.5国际研讨会，AUTOMATA 2018，比利时根特，2018年6月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10875, 100-112 (2018).
MSC公司：68问题80
PDF格式BibTeX公司 XML格式引用
\textit{A.Malcher}，莱克特。注释计算。科学。10875，100-112（2018；Zbl 1508.68235）
全文： 内政部 哈尔
马库斯·霍尔泽;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特

输入驱动双头下推自动机。 （英语） Zbl 1483.68172号

Csuhaj-Varjú，Erzsébet（编辑）等人，第15届国际自动机和形式语言会议论文集，2017年9月4-6日，AFL’17，匈牙利德布勒森。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）252128-142（2017）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Holzer}等人，《电子》。程序。西奥。计算。科学。（EPTCS）252128--142（2017；Zbl 1483.68172）
全文： arXiv公司 链接
安德烈·赫尔曼;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特

有界正则语言的描述复杂性。 （英语） Zbl 1476.68130号

Cámpeanu，Cezar（编辑）等人，《形式系统的描述复杂性》。2016年7月5日至8日，罗马尼亚布加勒斯特，2016年DCFS，第18届IFIP工作组1.2国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9777, 138-152 (2016).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Herrmann}等人，Lect。注释计算。科学。9777，138--152（2016；Zbl 1476.68130）
全文： 内政部 哈尔
霍尔格·博克·阿克塞尔森;塞巴斯蒂安·雅科比;马丁·库特里布;安德烈亚斯·马尔彻

快速可逆图灵机的层次结构。 （英语） Zbl 1464.68103号

Krivine，Jean（编辑）等人，《可逆计算》。2015年7月16日至17日，第七届国际会议，RC 2015，法国格勒诺布尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9138, 29-44 (2015).
MSC公司：04年第68季度 2009年第68季度 2015年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.B.Axelsen}等人，Lect。注释计算。科学。9138，29-44（2015；Zbl 1464.68103）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特

实时可逆单向细胞自动机。 （英语） Zbl 1432.68282号

Isokawa，Teijiro（编辑）等人，细胞自动机和离散复杂系统。2014年7月7日至9日，日本Himeji，AUTOMATA 2014第20届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8996, 56-69 (2015).
MSC公司：68问题80 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，Lect。注释计算。科学。8996，56-69（2015年；兹比尔1432.68282）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特

带卵石的无状态单向多头有限自动机。 （英语） Zbl 1318.68109号

发现的国际期刊。计算。科学。 25，第8期，1141-1159（2014）.
审核人：安德烈亚斯·马莱蒂（斯图加特）
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，《国际法学杂志》发现。计算。科学。25，第8号，1141--1159（2014；Zbl 1318.68109）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻

单向可逆多头有限自动机。 （英语） Zbl 1451.68152号

Glück，Robert（编辑）等人，可逆计算。2012年7月2日至3日，第四届国际研讨会，RC 2012，丹麦哥本哈根。修订论文。柏林：斯普林格。莱克特。注释计算。科学。7581, 14-28 (2013).
MSC公司：65年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，莱克特。注释计算。科学。7581，14-28（2013年；兹bl 1451.68152）
全文： 内政部
安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

具有受限头部反转的双向下推自动机的描述复杂性。 （英语） Zbl 1341.68100号

Holzer，Markus（编辑）等人，《形式系统的描述复杂性》。2011年7月25日至27日，第13届国际研讨会，DCFS 2011，德国利姆堡Gießen/Limburg。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22599-4/pbk）。计算机科学讲座笔记6808248-260（2011）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Malcher}等人，Lect。注释计算。科学。6808248--260（2011年；Zbl 1341.68100）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻

两方Watson-Crick计算。 （英语） 兹比尔1297.68148

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿6482191-200（2011）。
MSC公司：65年第68季度 2005年第68季度 68问题30
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}和\textit{A.Malcher}，莱克特。注释计算。科学。6482、191--200（2011年；Zbl 1297.68148）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻;拉里萨·沃林

下推自动机中的调节不确定性。 （英语） Zbl 1139.68370号

Holub，Jan（编辑）等人，自动机的实现和应用。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-76335-2/pbk）。计算机科学课堂讲稿4783，85-96（2007）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，Lect。注释计算。科学。4783、85-96（2007年；Zbl 1139.68370）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

传记参考

软件