提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:日记账/entcs/GardnerRWW14澳大利亚-菲利普·加德纳澳大利亚-杜鹃花拉德AU-驾驶室，Mark J。亚当·赖特TI-并行图书馆的抽象局部推理：注意差距。BT-第30届编程语义数学基础会议论文集，2014年MFPS，美国纽约州伊萨卡，2014年6月12日至15日SP-147EP-1662014年上半年//DO-2016年10月10日/J.ENTCS.2014.10.009UR-（欧元）https://doi.org/10.1016/j.entcs.2014.10.009UR-（欧元）https://www.wikidata.org/entity/Q113317846网址急诊室-