×

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

Petri网的可达性问题不是基本的。 (英语) Zbl 1433.68245号

Charikar,Moses(ed.)等人,第51届ACM SIGACT计算理论研讨会论文集,STOC’19,美国亚利桑那州凤凰城,2019年6月23日至26日。纽约州纽约市:计算机协会(ACM)。24-33 (2019).
PDF格式BibTeX公司 XML格式引用

具有状态的多项式向量加法系统。 (英语) Zbl 1499.68229号

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

向量加法系统可达性的解密。 (英语) 兹比尔1392.68308

2015年第30届ACM/IEEE计算机科学逻辑年度研讨会论文集,LICS 2015,日本京都,2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4799-8875-4)。56-67 (2015).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段