×

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

协代数符号语义。 (英语) Zbl 1239.68049号

亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。2009年9月7日至10日,意大利乌迪内,第三届国际会议,CALCO 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。计算机科学课堂讲稿5728173-190(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用具有等价关系的图来建模具有名称迁移的计算。 (英语) Zbl 1278.68211号

Ian Mackie(编辑),第三届术语图改写国际研讨会论文集(TERMGRAPH 2006),奥地利维也纳,2006年4月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》176,第1期,85-97(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

移动环境的并发图语义。 (英语) Zbl 1260.68094号

Brooks,Stephen(编辑)等人,MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记45,88-105(2001)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段

全部的 前3名

软件