×

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

会话类型的间隔概率。 (英语) Zbl 07691319号

Ciabattoni,Agata(编辑)等人,《逻辑、语言、信息和计算》。2022年9月20日至23日,罗马尼亚Iași,第28届国际研讨会,WoLLIC 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13468, 123-140 (2022).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用结构演算对会话进行行为分析。 (英语) Zbl 1461.68129号

Mazzara,Manuel(编辑)等人,《系统信息学的观点》。2015年8月24日至27日,第十届安德烈·埃尔肖夫国际信息学会议,PSI 2015,纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9609, 91-106 (2016).
MSC公司:68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

使用可移动膜的A下限。 (英语) Zbl 1341.68049号

Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。第13届国际研讨会,DCFS 2011,2011年7月25日至27日,德国林堡Gießen。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学课堂讲稿6808,275-288(2011)。
MSC公司:2005年第68季度 2010年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

简单、增强、可相互移动的膜。 (英语) Zbl 1260.68143号

Priami,Corrado(编辑)等人,《计算系统生物学学报》第十一卷。柏林:施普林格出版社(ISBN 978-3-642-04185-3/pbk)。计算机科学课程讲稿5750。生物信息学课堂讲稿。《期刊副刊》,26-44(2009)。
MSC公司:2005年第68季度 2010年第68季度 92立方37
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段