×

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

最新的 引文 关联
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

一元语言上的迭代一致有限状态变换器。 （英语） 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 1434.68272号

Hospodár，Michal（编辑）等人，《形式系统的描述复杂性》。第21届IFIP工作组1.02国际会议，2019年7月17日至19日，斯洛伐克科希策，DCFS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11612, 223-234 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，Lect。注释计算。科学。11612、223--234（2019年；Zbl 1434.68272）
全文： 内政部 哈尔
维利亚姆·格弗特;安德烈亚斯·马尔彻;卡加·梅克尔;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

下推存储语言的有限状态自动机的直接构造。 （英语） Zbl 1388.68171号

Jürgensen，Helmut（ed.）等人，形式系统的描述复杂性。2013年7月22日至25日在加拿大安大略省伦敦举行的2013年DCFS第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39309-9/pbk）。计算机科学课堂讲稿8031，90-101（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Geffert}等人，Lect。注释计算。科学。8031，90-101（2013年；兹bl 1388.68171）
全文： 内政部
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺;马蒂亚斯·温德兰特

输入驱动队列自动机：有限圈、可判定性和闭包属性。 （英语） Zbl 1298.68147号

Konstantinidis，Stavros（编辑），自动机的实现和应用。2013年7月16日至19日，加拿大新南威尔士州哈利法克斯，2013年CIAA第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39273-3/pbk）。计算机科学课堂讲稿7982232-243（2013）。
MSC公司：65年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kutrib}等人，Lect。注释计算。科学。7982、232--243（2013年；Zbl 1298.68147）
全文： 内政部
安德烈亚斯·马尔彻;卡加·梅克尔;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

下推存储语言的描述复杂性。 （英语） Zbl 1304.68111号

Kutrib，Martin（编辑）等人，《形式系统的描述复杂性》。2012年7月23日至25日在葡萄牙布拉加举行的第14届DCFS 2012国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31622-7/pbk）。计算机科学课堂讲稿7386，209-221（2012）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Malcher}等人，Lect。注释计算。科学。7386、209--221（2012；Zbl 1304.68111）
全文： 内政部 链接
安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

具有受限头部反转的双向下推自动机的描述复杂性。 （英语） 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）
全文： 内政部
克里斯蒂安·乔夫鲁特;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺

关于FO[+]的表达能力。 （英语） Zbl 1284.68343号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2010年5月24日至28日在德国特里尔举行的2010年拉丁美洲旅游协会第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13088-5/pbk）。计算机科学课堂讲稿6031190-201（2010）。
MSC公司：65年第68季度 05年3月 第68季度19
PDF格式BibTeX公司 XML格式引用
\textit{C.Choffrut}等人，Lect。注释计算。科学。603190-201（2010年；Zbl 1284.68343）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件