×

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

单词问题是Petri网语言的组。 (英语) Zbl 1432.20023号

Shallit,Jeffrey(编辑)等人,《形式系统的描述复杂性》。2015年6月25日至27日,加拿大安大略省滑铁卢,第17届DCFS国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9118, 243-255 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

交换半群和可逆Petri网的等价问题在对数线性可约的指数空间中是完全的。 (英语) Zbl 0964.03040号

Shum,Kar Ping(编辑)等人,《半群》。半群及其相关主题国际会议论文,中国昆明,1995年8月18日至23日。新加坡:斯普林格。63-76(1998年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段