提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/icalp/CardelliGG02AU-卡德利，卢卡澳大利亚-菲利普·加德纳澳大利亚-乔治·盖利TI-一种用于查询图的空间逻辑。BT-Automata，语言与编程，第29届国际学术讨论会，ICALP 2002，西班牙马拉加，2002年7月8日至13日，会议记录SP-597EP-6102002年上半年//DO-2007年10月10日/3-540-45465-9_51UR-（欧元）https://doi.org/10.1007/3-540-45465-9_51急诊室-