×

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

有限换能器和理性换能器。 (英语) Zbl 1517.68195号

Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。79-111 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

固定基数的(k)-阿贝尔等价类的正则性。 (英语) Zbl 1514.68107号

Böckenhauer,Hans-Joachim(编辑)等人,《低海拔和高海拔之间的冒险》。在尤拉吉·霍姆科维奇60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。11011, 49-62 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限单词、多项式和原子的度数。 (英语) Zbl 1436.68170号

Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840, 164-176 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

\(k)-阿贝尔等价与合理性。 (英语) 兹比尔1436.68271

Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9840, 77-88 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于(k)-阿贝尔复杂性的增长和波动。 (英语) Zbl 1464.68303号

Beklemishev,Lev D.(编辑)等人,《计算机科学——理论与应用》。2015年7月13日至17日,第十届俄罗斯国际计算机科学研讨会,CSR 2015,俄罗斯Listvyanka。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9139, 109-122 (2015).
MSC公司:68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于识别等长语言的有限自动机的确定爆破。 (英语) Zbl 1323.68341号

Calude,Cristian S.(编辑)等人,《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际,为他撰写的论文。查姆:施普林格(ISBN 978-3-319-13349-2/pbk;978-3-316-13350-8/电子书)。计算机科学课堂讲稿8808,71-82(2014)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有重叠乘积的词的部分半群中的方程。 (英语) Zbl 1367.68214号

Bordihn,Henning(编辑)等人,《活着的语言》。在尤尔根·达索65岁生日之际献给他的散文。柏林:施普林格出版社(ISBN 978-3-642-31643-2/pbk)。计算机科学讲义7300,99-110(2012)。
MSC公司:68兰特 20立方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

局部平方、周期性和有限自动机。 (英语) Zbl 1327.68182号

Calude,Cristian S.(编辑)等人,《计算机科学的彩虹》。在赫尔曼·莫勒70岁生日之际献给他。柏林:施普林格出版社(ISBN 978-3-642-19390-3/pbk)。计算机科学课堂讲稿657090-101(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言幺半群中的独特可解性:理性关系的应用。 (英语) Zbl 1248.94044号

Frid,Anna(编辑)等人,《计算机科学——理论与应用》。2009年8月18日至23日,在俄罗斯新西伯利亚举行的第四届国际计算机科学研讨会,CSR 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03350-6/pbk)。计算机科学讲座笔记5675,71-79(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过合作形态达到。 (英语) Zbl 1337.68153号

Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223,15-27(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对赫梅列夫斯基定理的分析和重述。(扩展摘要)。 (英语) Zbl 1161.68706号

伊藤正美(编辑)等,《语言理论的发展》。第十二届国际会议,DLT 2008,日本京都,2008年9月16-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿5257467-478(2008)。
MSC公司:68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言和关系的可表达性。 (英语) Zbl 1401.68163号

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

Toeplitz单词、广义周期性和周期迭代语态(扩展摘要)。 (英语) Zbl 1527.68170号

杜定珠(编辑)等,《计算与组合学》。1995年8月24日至26日,第1届国际会议,COCOON’95,中国西安。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。959, 244-253 (1995).
MSC公司:68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

半群中方程组的紧性。 (英语) Zbl 1434.20040号

Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,匈牙利塞格德,第22届国际学术讨论会,ICALP’95。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。944, 444-454 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于半群中独立方程组的大小。 (英语) Zbl 1496.20087号

Privara,Igor(编辑)等人,《1994年计算机科学的数学基础》。1994年8月22日至26日,斯洛伐克科希策,第19届国际研讨会,MFCS’94。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。841, 443-452 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限单词集上的方程组和自动机理论(扩展摘要)。 (英语) Zbl 1518.68218号

Schulz,K.U.(编辑),单词方程和相关主题。第一次国际研讨会,IWWERT'90,德国图宾根,1990年10月1日至3日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。572, 247-249 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

产生无限单词的迭代设备。 (英语) Zbl 1494.68132号

Finkel,A.(编辑)等人,STACS 92。计算机科学的理论方面。1992年2月13日至15日,法国卡尚,第九届年度研讨会会议记录。柏林:斯普林格。莱克特。注释计算。科学。577, 531-543 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于确定性多带自动机和变换器的等价问题。 (英语) Zbl 1492.68078号

Monien,Burkhard(编辑)等人,STACS 89。1989年2月16日至18日,第六届计算机科学理论方面年度研讨会,德国联邦帕德博恩。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。349, 468-479 (1989).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份