×

找到19个文档（结果1-19）

最新的 引文 关联
阿德里安·皮耶拉德;埃希罗·苏米

具有名称创建的高阶分布式演算。 （英语） Zbl 1362.68221号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。531-540（2012年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{A.Piérard}和\textit{E.Sumii}，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。531-540（2012年；Zbl 1362.68221）
全文： 内政部
乌戈·蒙塔纳里;马蒂奥·桑马蒂诺

网络意识\（\pi\）-演算：一种并发语义。 （英语） Zbl 1342.68235号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286291-306（2012）。
MSC公司：第68季度85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{U.Montanari}和\textit{M.Sammartino}，电子。理论注释。计算。科学。286291-306（2012；Zbl 1342.68235）
全文： 内政部
马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯。;默多克·J·加贝。

标称SOS。 （英语） Zbl 1342.68193号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286103-116（2012）。
MSC公司：68问题55 68甲18 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}等人，《电子》。理论注释。计算。科学。286103--116（2012；Zbl 1342.68193）
全文： 内政部
菲利普·沃德勒

提案作为会议。 （英语） Zbl 1291.68134号

2012年9月9日至15日，第17届ACM SIGPLAN功能编程国际会议论文集，ICFP’12，丹麦哥本哈根。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1054-3）。ACM SIGPLAN Notices 47，No.9，273-286（2012）。
MSC公司：68甲18 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Wadler}，in：第17届ACM SIGPLAN函数式编程国际会议论文集，ICFP’12，丹麦哥本哈根，2012年9月9日至15日。纽约州纽约市：计算机协会（ACM）。273--286（2012年；Zbl 1291.68134）
全文： 内政部
亨利·德扬;路易斯·凯雷斯;弗兰克，普芬宁;伯纳多·托尼霍

将线性逻辑简化为异步会话类型通信。 （英语） Zbl 1252.03141号

Cégielski，Patrick（编辑）等人，《计算机科学逻辑》（CSL’12）。2012年9月3日至6日，在法国枫丹白露举行的第21届EACSL年会第26届国际研讨会。根据会议上的陈述选择论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-42-2）。LIPIcs–莱布尼茨国际信息学会议录16，228-242，仅电子版（2012年）。
MSC公司：03楼52 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{H.DeYoung}等人，LIPIcs——莱布尼茨国际程序。通知。16、228--242（2012；Zbl 1252.03141）
全文： 内政部
克里斯蒂娜·阿西亚里;Fernández-Alcober，古斯塔沃A。;帕维尔·舒米亚茨基

外换位子字的焦点子群定理。 （英语） Zbl 1282.20019号

J.群论 15，第3期，397-405（2012）.
审核人：Natalia Yu。马卡伦科（穆卢斯）
MSC公司：20日20时 20日第25天 2012年1月20日 20E10年 2014年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{C.Acciarri}等人，《群论杂志》15，第3期，397--405（2012；Zbl 1282.20019）
全文： 内政部 arXiv公司 链接
罗兰·梅耶;维克托·科门科;雷纳·Hüchting

（pi）-演算（FCP）到安全Petri网的多项式转换。 （英语） Zbl 1364.68292号

Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，440-455（2012）。
MSC公司：第68季度85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Meyer}等人，Lect。注释计算。科学。7454440-455（2012年；Zbl 1364.68292）
全文： 内政部 arXiv公司 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件