托马斯·丁斯代尔·扬;佩德罗·达罗查·平托;菲利普·加德纳 关于指定和验证并发模块的观点。 (英语) Zbl 1395.68187号 J.日志。阿尔盖布。方法计划。 98, 1-25 (2018).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Dinsdale-Young}等人,J.Log。阿尔盖布。方法程序。98,1-25(2018;Zbl 1395.68187) 全文: 内政部 OA许可证
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 (英语) Zbl 1200.68224号 Inf.计算。 208,第5期,474-499(2010).MSC公司:68T27型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人,信息计算。208,第5号,474--499(2010;Zbl 1200.68224) 全文: 内政部 链接
穆罕默德·拉扎;菲利普·加德纳 局部推理中的足迹。 (英语) Zbl 1139.68020号 Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。计算机科学课堂讲稿4962201-215(2008)。MSC公司:68号30 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Raza}和\textit{P.Gardner},莱克特。注释计算。科学。4962,201-215(2008;Zbl 1139.68020) 全文: 内政部 arXiv公司
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 关于数据更新的本地推理。 (英语) Zbl 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) 全文: 内政部
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳 树的上下文逻辑中的辅助消除。 (英语) 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) 全文: 内政部 链接