克里斯蒂亚诺·卡尔加诺;菲利普·加德纳;乌里·扎尔法蒂 上下文逻辑和树更新。 （英语） 兹比尔1369.68132 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。271-282 (2005). 引用于14文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B70号 计算机科学中的逻辑 68第05页 数据结构 2012年第68季度 语法和重写系统 关键词：上下文;霍尔逻辑;树更新 引文：Zbl 0999.68045号 PDF格式BibTeX公司 XML格式引用 \textit{C.Calcagno}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。271--282（2005年；Zbl 1369.68132） 全文： 内政部 链接