×

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

异步共享内存程序的一般判定结果:高阶和更高阶。 (英语) Zbl 1467.68040号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 449-467 (2021).
PDF格式BibTeX公司 XML格式引用

向量加法系统语言的无界性问题。 (英语) Zbl 1499.68170号

Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第119条,第15页(2018年)。
PDF格式BibTeX公司 XML格式引用

价自动机的空性问题:Petri网的另一个可判定扩展。 (英语) Zbl 1471.68123号

Bojañczyk,Mikołaj(编辑)等人,《可达性问题》。2015年9月21日至23日,波兰华沙,第九届国际研讨会,RP 2015。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9328, 166-178 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发有限自动机和相关语言类(概述)。 (英语) Zbl 1264.68097号

伊藤、马萨米(编辑)等,《自动机,形式语言和代数系统》。2008年AFLAS会议记录,日本京都,2008年9月20日至22日。新泽西州哈肯萨克:世界科学(ISBN 978-981-4317-60-3/hbk;978-981-14317-61-0/电子书)。103-112 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

软件