×

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

树分解图的代数。 (英语) Zbl 1502.68213号

Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 203-220 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络意识\(\pi\)-演算–Pastry的模型。 (英语) Zbl 1342.68236号

Ayala-Rincón,Mauricio(编辑)等人,《逻辑和语义框架及其应用第九次研讨会论文集》(LSFA 2014),巴西巴西利亚,2014年9月8日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记312,3-17,仅电子版(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从层次BIP到Petri演算。 (英语) Zbl 1416.68111号

Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统观点。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 54-68 (2014).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

网络意识\(\pi\)-演算:一种并发语义。 (英语) Zbl 1342.68235号

Berger,Ulrich(ed.)等人,第28届编程语义数学基础会议论文集(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286291-306(2012)。
MSC公司:68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对称族是资源绑定的有效模型。 (英语) Zbl 1247.68172号

Jacobs,B.(ed.)等人,第十届计算机科学联合算法研讨会论文集(CMCS 2010)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》264,第2期,63-81(2010)。
MSC公司:68问题65 18 C50
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用莫德改写分层设计。 (英语) Zbl 1347.68072号

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

使用与或图中的最佳树搜索和软约束逻辑编程来建模组播QoS路由。 (英语) Zbl 1279.68021号

Aldini,Alessandro(编辑)等人,第五届编程语言定量方面研讨会论文集(QAPL 2007),葡萄牙布拉加,2007年3月24日至25日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》190,第3期,111-127(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有显式替换的(pi)演算:后期语义。 (英语) Zbl 1493.68244号

Privara,Igor(编辑)等人,《1994年计算机科学的数学基础》。1994年8月22日至26日,斯洛伐克科希策,第19届国际研讨会,MFCS’94。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。841, 342-351 (1994).
MSC公司:68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件