提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/popl/CalcagnoGZ07澳大利亚-加尔各尼奥，克里斯蒂亚诺澳大利亚-菲利普·加德纳AU-乌里扎尔法蒂作为模态逻辑的上下文逻辑：完备性和参数不表达性。BT-第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2007，法国尼斯，2007年1月17日至19日SP-123型EP-1342007年上半年//DO-10.1145/1190216.1190236UR-（欧元）https://doi.org/10.1145/1190216.1190236UR-（欧元）https://doi.org/10.1145/1190251190236急诊室-