×

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

广义禁止矩阵文法及其膜计算前景。 (英语) Zbl 07437061号

Freund,Rudolf(编辑)等人,《膜计算》。第21届国际会议,CMC 2020,虚拟活动,2020年9月14日至18日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12687, 31-45 (2021).
MSC公司:2007年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最大程度地并行上下文字符串重写。 (英语) Zbl 1367.68152号

Lucanu,Dorel(编辑),重写逻辑及其应用。2016年4月2日至3日,第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-44801-5/pbk;978-3-3169-44802-2/电子书)。计算机科学讲义9942,152-166(2016)。
MSC公司:2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用促进剂和抑制剂重写膜系统的逻辑规范。 (英语) Zbl 1347.68125号

Grigore(编辑),《第七届重写逻辑及其应用国际研讨会论文集》(WRLA 2008),匈牙利布达佩斯,2008年3月29日至30日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》238,第3期,5-22(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段