×

找到78个文档(结果1-78)

象征性动力学。 (英语) Zbl 07425663号

Pin,Jean-Éric(编辑),《自动机理论手册》。第二卷。数学和选定应用中的自动机。柏林:欧洲数学学会(EMS)。987-1030 (2021).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

在最终树状集合中返回单词和双代号。 (英语) Zbl 1436.68278号

罗伯特·梅尔卡什等人,《单词组合数学》。2019年9月9日至13日在英国拉夫堡举行的第十二届世界2019年国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11682, 167-179 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最终树枝状转变。 (英语) Zbl 07121060号

van Bevern,René(编辑)等人,《计算机科学——理论与应用》。2019年7月1日至5日,在俄罗斯新西伯利亚举行的第十四届国际计算机科学研讨会,CSR 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11532, 106-118 (2019).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

群体、语言和树突转变。 (英语) Zbl 1517.37003号

Hoshi,Mizuho(编辑)等,《语言理论的发展》。第22届国际会议,DLT 2018,日本东京,2018年9月10日至14日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11088, 60-73 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步自动机。 (英语) Zbl 1385.68019号

Berthé,Valérie(编辑)等人,《组合数学,词汇和符号动力学》。剑桥:剑桥大学出版社(ISBN 978-1-107-07702-7/hbk;978-1-139-92473-3/电子书)。《数学及其应用百科全书》159,213-240(2016)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 内政部

中性集合中的公式枚举。 (英语) Zbl 1434.68384号

Potapov,Igor(编辑),语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9168, 215-227 (2015).
PDF格式BibTeX公司 XML格式引用

镜面反射集。 (英语) Zbl 1330.68231号

Manea,Florin(编辑)等,《单词组合学》。2015年9月14日至17日在德国基尔举行的第十届国际会议,WORDS 2015。诉讼程序。查姆:施普林格(ISBN 978-3-319-23659-9/pbk;978-3-3169-23660-5/电子书)。计算机科学课程讲稿9304210-222(2015)。
PDF格式BibTeX公司 XML格式引用

最小集合中的代码和自动机。 (英语) Zbl 1338.68157号

Manea,Florin(编辑)等,《单词组合学》。2015年9月14日至17日在德国基尔举行的第十届国际会议,WORDS 2015。诉讼程序。查姆:施普林格(ISBN 978-3-319-23659-9/pbk;978-3-3169-23660-5/电子书)。计算机科学课程讲稿9304,35-46(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

信道编码的时间理论。 (英语) Zbl 1374.68250号

Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿7595,27-42(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

生成定时语言的函数。 (英语) 兹比尔1365.68302

Rovan,Branislav(编辑)等人,《2012年计算机科学的数学基础》。2012年8月27日至31日,斯洛伐克布拉迪斯拉发,第37届国际研讨会,MFCS 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32588-5/pbk)。计算机科学课堂讲稿7464,124-135(2012)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单簇自动机中同步字大小的二次上界。 (英语) Zbl 1217.68122号

Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日-7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学课堂讲稿5583,81-90(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在sofic shift中完成代码。 (英语) Zbl 1137.68033号

Durand,Bruno(编辑)等人,STACS 2006。2006年2月23日至25日在法国马赛举行的第23届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-32301-3/pbk)。计算机科学课堂讲稿3884127-136(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在单词上应用组合学。Jean Berstel、Dominique Perrin、Maxime Crochemore、Eric Laporte、Mehryar Mohri、Nadia Pisanti、Marie-France Sagot、Gesine Reinert、Sophie Schbath、Michael Waterman、Philippe Jacquet、Wojciech Szpankowski、Dominiq Poulalhon、Gilles Schaeffer、Roman Kolpakov、Gregory Koucherov、Jean-Paul Allouche和Valérie Berthé。带有伯斯特尔和佩林的序言。 (英语) Zbl 1133.68067号

数学百科全书及其应用105.剑桥:剑桥大学出版社(ISBN 0-521-84802-4/hbk)。xv,610页。(2005).
PDF格式BibTeX公司 XML格式引用

sofic移位的语法图。 (英语) Zbl 1122.68463号

Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996282-293(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限的话语。自动机、半群、逻辑和游戏。 (英语) Zbl 1094.68052号

纯数学与应用数学(阿姆斯特丹)141.阿姆斯特丹:爱思唯尔/学术出版社(ISBN 0-12-53211-2/hbk)。xi,第538页。(2004).
PDF格式BibTeX公司 XML格式引用
全文: 链接

一个不可简化的索非派转变的层级。 (英语) Zbl 1096.68078号

吉·菲亚拉(编辑)等,《2004年计算机科学数学基础》。2004年8月22日至27日,第29届国际研讨会,MFCS,捷克共和国布拉格。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22823-3/pbk)。计算机科学课堂讲稿3153611-622(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于\(k \)符号上正则语言的枚举序列。 (英语) Zbl 1054.68083号

Alt,Helmut(编辑)等人,STACS 2002。第19届计算机科学理论方面年度研讨会。2002年3月14日至16日,法国安提布斯-胡安莱斯·平斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43283-3)。莱克特。注释计算。科学。2285, 547-558 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

长度分布和规则序列。 (英语) Zbl 0992.94504号

Marcus,Brian(编辑)等人,《代码、系统和图形模型》。IMA研讨会,明尼阿波利斯,明尼苏达州,美国,1999年8月2日至13日。纽约州纽约:施普林格。IMA卷数学。申请。123, 415-437 (2001).
PDF格式BibTeX公司 XML格式引用

超级状态自动机和有理树。 (英语) Zbl 0901.68135号

Lucchesi,Cláudio L.(编辑)等,拉丁文'98,理论信息学。第三届拉丁美洲研讨会,巴西坎皮纳斯,1998年4月20日至24日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1380, 42-52 (1998).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

有理树中叶子的枚举序列。 (英语) Zbl 1401.68146号

Degano,Pierpaolo(编辑)等人,《自动化,语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林:Springer-Verlag(ISBN 978-3-540-63165-1/pbk;978-3-540-69194-5/电子书)。计算机科学讲义1256,76-86(1997)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

符号动力学和有限自动机。 (英语) Zbl 1193.68157号

Wiedermann,Jiří(编辑)等人,《计算机科学的数学基础》,1995年。1995年8月28日至9月1日,第20届国际研讨会,MFCS’95,捷克共和国布拉格。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-60246-1)。莱克特。注释计算。科学。969, 94-104 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正在同步自动机。 (英语) Zbl 0838.68081号

Capocelli,Renato(编辑)等人,《序列II》。通信、安全和计算机科学方法。1991年6月17日至21日在意大利波西塔诺举行的研讨会上提交了论文。纽约州纽约市:Springer-Verlag。470-476 (1993).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份