提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:日记账/分录/CalcagnoGZ07澳大利亚-卡尔加诺，克里斯蒂亚诺澳大利亚-菲利普·加德纳AU-乌里扎尔法蒂TI-关于数据更新的本地推理。BT-计算、意义和逻辑：Gordon Plotkin专用文章SP-133EP-1752007年上半年//DO-2016年10月10日/J.ENTCS.2007.02.006UR-（欧元）https://doi.org/10.1016/j.entcs.2007.02.006急诊室-