Cristiano Calcagno等人：作为模态逻辑的上下文逻辑：完备性和参数不可表达性。(2007) conf/popl/CalcagnoGZ07 10.1145/1190216.1190236 10.1145/1190215.1190236 作为模态逻辑的上下文逻辑：完备性和参数不表达性。 三 克里斯蒂亚诺·卡尔卡尼奥 1 菲利普·加德纳 2 乌里·扎尔法蒂 三 123-134 POPL公司 POPL公司 2007 2007 dblp记录“conf/popl/CalcagnoGZ07”的RDF数据的来源信息 2021-06-25T14:48:54+0200