提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:journals/entcs/ZarfatyG06AU-乌里扎尔法蒂澳大利亚-菲利普·加德纳TI-关于树更新的本地推理。BT-第22届编程语义数学基础年会论文集，MFPS 2006，Genova，意大利，2006年5月23日至27日SP-399EP-4242006年上半年//DO-2016年10月10日/J.ENTCS.2006.04.020UR-（欧元）https://doi.org/10.1016/j.entcs.2006.04.020急诊室-