鲁帕克·马朱姆达尔;拉马纳森·S·蒂尼亚姆。;乔治·泽采 异步共享内存程序的一般判定结果:高阶和更高阶。 (英语) Zbl 1467.68040号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 449-467 (2021).MSC公司:68号30 第68季度第45季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,Lect。注释计算。科学。12651、449--467(2021;Zbl 1467.68040) 全文: 内政部 arXiv公司
乔治·泽采 图幺半群上价自动机的空性问题。 (英语) Zbl 1475.68170号 Inf.计算。 277,文章ID 104583,18 p.(2021).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Zetzsche},信息计算。277,文章ID 104583,18 p.(2021;Zbl 1475.68170) 全文: 内政部 arXiv公司
车温斯基,沃伊切赫;彼得·霍夫曼;乔治·泽采 向量加法系统语言的无界性问题。 (英语) Zbl 1499.68170号 Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第119条,第15页(2018年)。MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinski}等人,LIPIcs——莱布尼茨国际程序。通知。107,第119条,第15页(2018;兹bl 1499.68170) 全文: 内政部 arXiv公司
乔治·泽采 价自动机的空性问题:Petri网的另一个可判定扩展。 (英语) Zbl 1471.68123号 Bojañczyk,Mikołaj(编辑)等人,《可达性问题》。2015年9月21日至23日,波兰华沙,第九届国际研讨会,RP 2015。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9328, 166-178 (2015).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Zetzsche},莱克特。注释计算。科学。9328、166--178(2015;Zbl 1471.68123) 全文: 内政部
乔治·泽采 理解矩阵文法中删除规则的生成能力。 (英语) Zbl 1213.68353号 发现的国际期刊。计算。科学。 22,第2期,411-426(2011). 审核人:约格·德塞尔(哈根) MSC公司:2012年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Zetzsche},国际期刊发现。计算。科学。22,编号2411-426(2011年;兹bl 1213.68353) 全文: 内政部
曼弗雷德·库德莱克;乔治·泽采 并发有限自动机和相关语言类(概述)。 (英语) Zbl 1264.68097号 伊藤、马萨米(编辑)等,《自动机,形式语言和代数系统》。2008年AFLAS会议记录,日本京都,2008年9月20日至22日。新泽西州哈肯萨克:世界科学(ISBN 978-981-4317-60-3/hbk;978-981-14317-61-0/电子书)。103-112 (2010).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kudlek}和\textit{G.Zetzsche},in:自动机,形式语言和代数系统。2008年AFLAS会议记录,日本京都,2008年9月20-22日。新泽西州哈肯萨克:《世界科学》。103-112(2010;Zbl 1264.68097) 全文: 内政部
曼弗雷德·库德莱克;帕特里克·托茨克;格奥尔格·泽茨彻 由多集下推自动机定义的多集语言类的属性。 (英语) Zbl 1191.68393号 芬丹。通知。 93,编号1-3,235-244(2009).MSC公司:第68季度第45季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.Kudlek}等人,Fundam。通知。93,编号1--3,235-244(2009;Zbl 1191.68393)
曼弗雷德·库德莱克;帕特里克·托茨克;乔治·泽采 多集下推自动机。 (英语) Zbl 1191.68392号 芬丹。通知。 93,编号1-3,221-233(2009).MSC公司:第68季度第45季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kudlek}等人,Fundam。通知。93,编号1--3,221--233(2009;Zbl 1191.68392)
乔治·泽采 Petri网语言和矩阵文法中的擦除。 (英语) Zbl 1247.68152号 Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日-7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学讲座笔记5583,490-501(2009)。MSC公司:第68季度第45季度 2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Zetzsche},莱克特。注释计算。科学。5583、490--501(2009;Zbl 1247.68152) 全文: 内政部
马提亚斯·扬岑;曼弗雷德·库德莱克;乔治·泽采 由并发有限自动机定义的语言类。 (英语) Zbl 1158.68021号 芬丹。通知。 85,编号1-4,267-280(2008).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Jantzen}等人,基金会。通知。85,编号1--4,267--280(2008;Zbl 1158.68021)
伯恩特·法尔;马提亚斯·扬岑;曼弗雷德·库德莱克;海科·Rölke;乔治·泽采 Petri网控制的有限自动机。 (英语) 兹比尔1159.68016 芬丹。通知。 85,编号1-4,111-121(2008).MSC公司:第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Farwer}等人,Fundam。通知。85,编号1--4,111-121(2008;Zbl 1159.68016)