×

找到124个文档(结果1-100)

常规语言的洗牌乘积:结果和开放问题。 (英语) Zbl 07719129号

Poulakis,Dimitrios(编辑)等人,代数信息学。第九届国际会议,CAI 2022,虚拟活动,2022年10月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13706, 26-39 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限自动机。 (英语) Zbl 1517.68213号

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

自动机理论手册。第二卷。数学和选定应用中的自动机。 (英语) Zbl 1470.68002号

柏林:欧洲数学学会(EMS)(ISBN 978-3-98547-003-7/hbk;978-3-9547-006-8/set;978-3-98547-506-3/ebook-set)。xxii、840-1493、xxiii-lv(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 内政部

自动机理论手册。第一卷理论基础。 (英语) Zbl 1470.68001号

柏林:欧洲数学学会(EMS)(ISBN 978-3-98547-002-0/hbk;978-3-9547-006-8/set;978-3-48547-506-3/ebook-set)。第二十二章,第838页。,xxiii-lv(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 内政部

如何证明一种语言是规则的还是无星的? (英语) Zbl 1437.68104号

Leporati,Alberto(编辑)等人,《语言和自动机理论与应用》。第14届国际会议,2020年3月4日至6日,意大利米兰,LATA 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12038, 68-88 (2020).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

单词函数的马勒定理。 (英语) Zbl 07561618号

Baier,Christel(ed.)等人,第46届自动化、语言和编程国际学术讨论会,2019年ICALP 2019年7月9日至12日,希腊帕特拉斯。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。132,第125条,第13页(2019年)。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数信息学。2019年6月30日至7月4日在塞尔维亚尼什举行的第八届国际会议,CAI 2019。诉讼程序。 (英语) Zbl 1428.68013号

计算机科学课堂讲稿11545.查姆:施普林格(ISBN 978-3-030-21362-6/pbk;978-3-0.30-21363-3/ebook)。xvi,第259页。(2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一步产品的不平等。 (英语) Zbl 1517.68256号

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

45年后的点状层次结构。 (英语) Zbl 1404.68073号

Konstantinidis,Stavros(编辑)等人,《理论在计算机科学中的作用》。专为Janusz Brzozowski撰写的论文。新泽西州哈肯萨克:《世界科学》(ISBN 978-981-3148-19-2/hbk;978-981-3148-21-5/ebook)。177-201 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

35年后,关于常规语言的公开问题。 (英语) Zbl 1402.68120号

Konstantinidis,Stavros(编辑)等人,《理论在计算机科学中的作用》。专为Janusz Brzozowski撰写的论文。新泽西州哈肯萨克:《世界科学》(ISBN 978-981-3148-19-2/hbk;978-981-3148-21-5/ebook)。153-175(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

ZoltánÉsik关于正则语言的一些结果。 (英语) Zbl 1495.68125号

Klasing,Ralf(编辑)等人,《计算理论基础》。2017年9月11-13日在法国波尔多举行的2017年FCT第21届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10472, 34-37 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格的对偶空间作为Pervin空间的完备性(扩展抽象)。 (英语) Zbl 1486.06007号

Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。第16届国际会议,RAMiCS 2017,法国里昂,2017年5月15日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10226, 24-40 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

各种成本函数。 (英语) Zbl 1388.68192号

Ollinger,Nicolas(编辑)等人,第33届计算机科学理论方面研讨会,2016年STACS,法国奥尔良,2016年2月17日至20日。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-001-9)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学杂志47,Article 30,14 p.(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

牛顿级数,创造。 (英语) 兹比尔1407.68316

Leucker,Martin(编辑)等人,《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会,哥伦比亚卡利,2015年10月29日至31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9399, 91-109 (2015).
MSC公司:70年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

牛顿的函数从单词到单词的正向差分方程。 (英语) Zbl 1459.68164号

Beckmann,Arnold(编辑)等人,《进化可计算性》。2015年6月29日至7月3日在罗马尼亚布加勒斯特举行的第十一届欧洲可计算性会议,CiE 2015。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9136, 71-82 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

从单词的超滤到逻辑片段的表达能力。 (英语) Zbl 1332.68148号

Jürgensen,Helmut(ed.)等人,形式系统的描述复杂性。2014年8月5日至8日,第16届国际研讨会,DCFS 2014,芬兰图尔库。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-09703-9/pbk)。计算机科学讲座笔记8614,138-149(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

计算机科学——理论与应用。2014年6月7日至11日,第九届俄罗斯国际计算机科学研讨会,CSR 2014,俄罗斯莫斯科。诉讼程序。 (英语) Zbl 1290.68009号

计算机科学课堂讲稿8476.柏林:施普林格出版社(ISBN 978-3-319-06685-1/pbk)。xix,第389页。(2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正则语言两个多项式交集的显式公式。 (英语) Zbl 1381.68131号

Béal,Marie-Pierre(编辑)等,《语言理论的发展》。2013年6月18日至21日,第17届国际会议,DLT 2013,法国马内拉瓦莱。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38770-8/pbk)。计算机科学课堂讲稿7907,31-45(2013)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

语言的等式描述。 (英语) 兹比尔1341.68124

Dömösi,Pál(ed.)等人,《自动机和形式语言》。2011年8月17日至22日在匈牙利德布勒森举行的2011年AFL第13届国际会议。尼雷加扎:尼雷加萨学院,数学和信息学研究所(ISBN 978-615-5097-19-5/pbk)。50-63 (2011).
PDF格式BibTeX公司 XML格式引用

串联产品的主题和变体。 (英语) Zbl 1307.68052号

Winkler,Franz(编辑),代数信息学。2011年6月21日至24日,第四届国际会议,CAI 2011,奥地利林茨。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21492-9/pbk)。计算机科学课堂讲稿6742,44-64(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

识别的拓扑方法。 (英语) Zbl 1288.68176号

Abramsky,Samson(编辑)等人,《自动化,语言和编程》。第37届国际学术讨论会,ICALP 2010,波尔多,法国,2010年7月6日至10日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-14161-4/pbk)。计算机科学课堂讲稿6199151-162(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

自动机理论中的Profinite方法。 (英语) 兹比尔1236.68175

Albers,Susanne(编辑)等人,STACS 2009。2009年2月26日至28日,德国弗莱堡,第26届计算机科学理论方面国际研讨会。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-09-5)。LIPIcs–莱布尼茨国际信息学会议录3,31-50,仅电子版(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

定义正则语言格的多项式闭包的方程。 (英语) Zbl 1248.68340号

Albers,Susanne(编辑)等人,《自动化,语言和编程》。2009年7月5日至12日,第36届国际学术讨论会,ICALP 2009,希腊罗兹。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-02929-5/pbk)。计算机科学课堂讲稿5556115-126(2009)。
MSC公司:70年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

关于从单词到整数的函数的马勒定理。 (英语) Zbl 1259.68138号

Albers,Susanne(编辑)等人,STACS 2008。第25届计算机科学理论方面国际研讨会,法国波尔多,2008年2月21日至23日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-06-4)。LIPIcs–莱布尼茨国际信息学会议录1,585-596,仅电子版(2008年)。
MSC公司:70年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

自动机和识别无限单词的半群。 (英语) Zbl 1217.68143号

Flum,Jörg(编辑)等人,《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹:阿姆斯特丹大学出版社(ISBN 978-90-5356-576-6/pbk)。《逻辑与游戏中的文本》第2卷,第133-167页(2008年)。
PDF格式BibTeX公司 XML格式引用

一类健壮的正则语言。 (英语) Zbl 1173.68554号

Ochmaánski,Edward(编辑)等人,《2008年计算机科学数学基础》。第33届国际研讨会,MFCS 2008,2008年8月25日至29日,波兰托伦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85237-7/pbk)。计算机科学课堂讲稿516236-51(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

正则语言的对偶和等式理论。 (英语) Zbl 1165.68049号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2008年7月7日至11日,冰岛雷克雅未克,第35届国际学术讨论会,ICALP 2008。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-70582-6/pbk)。计算机科学课堂讲稿5126246-257(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

部分交换闭包何时保持正则性? (英语) Zbl 1155.68416号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2008年7月7日至11日,冰岛雷克雅未克,第35届国际学术讨论会,ICALP 2008。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-70582-6/pbk)。《计算机科学讲义》5126209-220(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

常规语言的开放性问题:历史的观点。 (英语) Zbl 1138.20057号

André,Jorge M.(编辑)等人,《半群与形式语言》。2005年7月12日至15日,葡萄牙里斯本,唐纳德·麦克利斯特65岁诞辰国际会议记录。新泽西州哈肯萨克:世界科学(ISBN 978-981-270-738-3/hbk)。39-56 (2007).
PDF格式BibTeX公司 XML格式引用

由可逆有限自动机的某些模型生成的变量。 (英语) Zbl 1162.68480号

Chen,Danny Z.(编辑)等,《计算与组合学》。第十二届国际年会,COCOON 2006,台湾台北,2006年8月15日至18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-36925-2/pbk)。计算机科学讲义411283-93(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

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

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

保存可识别语言的操作。 (英语) Zbl 1278.68131号

Lingas,Andrzej(编辑)等人,《计算理论基础》。2003年8月12日至15日在瑞典马尔默举行的第14届国际研讨会,FCT 2003。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40543-7/pbk)。莱克特。注释计算。科学。2751, 343-354 (2003).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于Schnoebelen的一个猜想。 (英语) Zbl 1037.68075号

埃西克·佐尔坦(编辑)等人,《语言理论的发展》。第七届国际会议,DLT 2003,塞格德,匈牙利,2003年7月7日至11日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40434-1/pbk)。莱克特。注释计算。科学。2710, 35-54 (2003).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

文字上的逻辑。 (英语) 邮编:1049.68600

Pun,Gheorghe(编辑)等人,《理论计算机科学的当前趋势》。进入21世纪。基于1992–2000年欧洲理论计算机科学协会(EATCS)公报上发布的专栏和教程。新加坡:世界科学(ISBN 981-02-4473-8)。254-273 (2001).
MSC公司:65年第68季度 05年3月 03B15号机组
PDF格式BibTeX公司 XML格式引用

连接层次结构的桥。 (英语) Zbl 0909.68113号

Larsen,Kim G.(编辑)等人,《自动化,语言和编程》。第25届国际学术讨论会,ICALP’98。1998年7月13日至17日,丹麦奥尔堡。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1443, 431-442 (1998).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

积极的变化和无限的词语。 (英语) 兹比尔0909.20051

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

热带半环。 (英语) Zbl 0909.16028号

Jeremy Gunawardena(编辑),Idempotency。基于研讨会,英国布里斯托尔,1994年10月3日至7日,剑桥:剑桥大学出版社。50-69 (1998).
PDF格式BibTeX公司 XML格式引用

Büchi序列演算中存在一阶句子的表达能力。 (英语) Zbl 1045.03518号

Meyer auf der Heide,Friedhelm(编辑)等人,自动机,语言和编程。1996年7月8日至12日,第23届国际学术讨论会,ICALP’96,德国帕德博恩。诉讼程序。柏林:施普林格出版社(ISBN 3-540-61440-0/pbk)。莱克特。注释计算。科学。1099, 300-311 (1996).
PDF格式BibTeX公司 XML格式引用

\(BG=PG):一个成功的故事。 (英语) Zbl 0872.20054号

John Fountain(编辑),半群,形式语言和群。《北约高级研究所学报》,英国约克,1993年8月7日至21日。多德雷赫特:Kluwer学术出版社。北约ASI系列。,序列号。C、 数学。物理。科学。466, 33-47 (1995).
PDF格式BibTeX公司 XML格式引用

有限半群和可识别语言:简介。 (英语) Zbl 0872.20053号

John Fountain(编辑),半群,形式语言和群。《北约高级研究所学报》,英国约克,1993年8月7日至21日。多德雷赫特:Kluwer学术出版社。北约ASI系列。,序列号。C、 数学。物理。科学。466, 1-32 (1995).
PDF格式BibTeX公司 XML格式引用

多项式闭包和明确的乘积。 (英语) Zbl 1412.68145号

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

群语言的多项式闭包和霍尔拓扑的开集。 (英语) 兹比尔1422.68159

Abiteboul,Serge(编辑)等人,《自动化,语言和编程》。1994年7月11日至14日,以色列耶路撒冷,第21届国际学术讨论会,ICALP’94。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。820, 424-435 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言和扫描仪。 (英语) Zbl 0875.03081号

伊藤正美(编辑),《单词、语言和组合学》,日本京都,1990年8月28日至31日。新加坡:世界科学。16-29 (1992).
MSC公司:05年3月 70年第68季度 65年第68季度 03B25号 2005年第68季度
PDF格式BibTeX公司 XML格式引用

麦克诺顿无限字定理的纯代数证明。 (英语) Zbl 0925.68276号

Biswas,Somanath(编辑)等人,《软件技术和理论计算机科学基础》。第十一届会议于1991年12月17日至19日在印度新德里举行。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。560, 141-151 (1991).
PDF格式BibTeX公司 XML格式引用

广义星高问题的新结果。 (英语) Zbl 1492.68080号

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

有限自动机的形式属性及其应用。1988年5月23日至27日,法国拉马图埃勒,LITP春季理论计算机科学学校。诉讼程序。 (英语) Zbl 0702.68024号

计算机科学课堂讲稿, 386. 柏林等:Springer-Verlag。八、 259 p.DM 42.00(1989)。
审核人:K.Peeva公司
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

软件