×

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

最新 引文 关联
马丁·诺迪奥;克里斯蒂亚诺·加尔卡尼奥;贝特朗·梅耶

证书和分离逻辑。 （英语） Zbl 1348.68041号

Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日，第八届国际研讨会，TGC 2013，阿根廷布宜诺斯艾利斯。修改选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。计算机科学课堂讲稿8358，273-293（2014）。
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Nordio}等人，Lect。注释计算。科学。8358273-293（2014年；Zbl 1348.68041）
全文： DOI程序
詹姆斯·布罗瑟斯顿;克里斯蒂亚诺·加尔卡尼奥

经典BI：一种关于资源二元化的推理逻辑。 （英语） Zbl 1315.68175号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。328-339 (2009).
MSC公司：60年第68季度 03B70号 05年3月 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Brotherston}和\textit{C.Calcagno}，摘自：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，美国佐治亚州萨凡纳，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。328--339（2009年；Zbl 1315.68175）
全文： DOI程序
克里斯蒂亚诺·加尔卡尼奥;迪诺·迪斯特法诺;彼得·奥赫恩;杨红seok

通过双向拉伸进行成分形状分析。 （英语） Zbl 1315.68085号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。289-300 (2009).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，in：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。289--300（2009年；Zbl 1315.68085）
全文： DOI程序 链接
詹姆斯·布罗瑟斯顿;理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥

分离逻辑中程序终止的循环证明。 （英语） Zbl 1295.68156号

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。101-112 (2008).
MSC公司：60年第68季度 03B70号 68号30 68问题55 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.Brotherston}等人，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。101-112（2008；Zbl 1295.68156）
全文： DOI程序
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂

语境逻辑作为模态逻辑，具有完备性和参数不表达性。 （英语） Zbl 1295.68079号

第34届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’07，法国尼斯，2007年1月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。123-134 (2007).
MSC公司：68号30 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。123-134（2007年；Zbl 1295.68079）
全文： DOI程序
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂

关于数据更新的本地推理。 （英语） 兹比尔1277.68064

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172133-175（2007）。
MSC公司：68第05页 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，《电子》。注释Theor。计算。科学。172133--175（2007年；Zbl 1277.68064）
全文： DOI程序
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳

树的上下文逻辑中的辅助消除。 （英语） Zbl 1137.03312号

Shao，Zhong（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807，255-270（2007）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，Lect。注释计算。科学。4807255-270（2007年；Zbl 1137.03312）
全文： DOI程序 链接
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂

上下文逻辑和树更新。 （英语） Zbl 1369.68132号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。271-282 (2005).
MSC公司：68号30 03B70号 68第05页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。271--282（2005年；Zbl 1369.68132）
全文： DOI程序 链接
理查德·博纳特;克里斯蒂亚诺·加尔卡尼奥;彼得·奥赫恩;马修·帕金森

分离逻辑中的权限核算。 （英语） Zbl 1369.68130号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。259-270 (2005).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{R.Bornat}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。259--270（2005年；Zbl 1369.68130）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

软件