×

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

Maude元语言应用程序的模式。 (英语) Zbl 1347.68083号

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

膜系统的基于策略的证明演算。 (英语) Zbl 1347.68126号

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

膜计算中的操作语义和重写逻辑。 (英语) Zbl 1273.68201号

Peter Mosses等人,《结构操作语义学第二次研讨会论文集》(SOS 2005),葡萄牙里斯本,2005年7月10日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》156,第1期,57-78(2006)。
MSC公司:第68季度55 2005年第68季度 2010年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

通过改写策略表达膜的控制机制。 (英语) Zbl 1187.68223号

Hoogeboom,Hendrik Jan(编辑)等人,《膜计算》。2006年7月17日至21日在荷兰莱顿举行的2006年世界气象大会第七届国际研讨会。修订、精选和邀请论文。柏林:施普林格出版社(ISBN 978-3-540-69088-7/pbk)。计算机科学课堂讲稿4361154-169(2006)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

P系统的结构操作语义。 (英语) Zbl 1135.68400号

Freund,Rudolf(编辑)等人,《膜计算》。2005年7月18日至21日在奥地利维也纳举行的2005年世界气象大会第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 3-540-30948-9/pbk)。计算机科学课堂讲稿3850,31-48(2006)。
MSC公司:2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

P系统的可执行规范。 (英语) Zbl 1117.68440号

Mauri,Giancarlo(编辑)等人,《膜计算》。2004年6月14日至16日在意大利米兰举行的2004年WMC第五届国际研讨会。修改选定和邀请的论文。柏林:施普林格出版社(ISBN 3-540-25080-8/pbk)。计算机科学讲座笔记3365126-145(2005)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

出版年份

主字段

全部的 前3名

软件