克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 语境逻辑作为模态逻辑,具有完备性和参数不表达性。 (英语) Zbl 1295.68079号 2007年1月17日至19日,法国尼斯,POPL'07,第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-575-4)。123-134 (2007).理学硕士: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) 全文: 内政部
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 关于数据更新的本地推理。 (英语) Zbl 1277.68064号 Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172133-175(2007)。理学硕士:68第05页 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人,《电子》。注释Theor。计算。科学。172133-175(2007年;兹bl 1277.68064) 全文: 内政部
菲利普·加德纳;乌里·扎尔法蒂 上下文逻辑简介。 (英语) Zbl 1213.03039号 丹尼尔·利万特(编辑)等人,《逻辑、语言、信息和计算》。2007年7月2日至5日,巴西里约热内卢,第14届国际研讨会,WoLLIC 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73443-7/pbk)。计算机科学课堂讲稿4576189-202(2007)。理学硕士:03B60号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}和\textit{U.Zarfaty},莱克特。注释计算。科学。4576,189--202(2007;Zbl 1213.03039) 全文: 内政部
乌里·扎尔法蒂;菲利普·加德纳 关于树更新的局部推理。 (英语) Zbl 1273.03111号 Brookes,Steve(ed.)等人,第22届编程语义数学基础年会(MFPS XXII)会议记录,意大利热那亚,2006年5月23日至27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记158,399-424(2006)。理学硕士:03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{U.Zarfaty}和\textit{P.Gardner},电子。注释Theor。计算。科学。158399--424(2006年;Zbl 1273.03111) 全文: 链接
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂 上下文逻辑和树更新。 (英语) Zbl 1369.68132号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-830-X)。271-282 (2005).理学硕士: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) 全文: 内政部 链接