IT University of Copenhagen, Denmark;
University of Sussex, UK;
Saarland University, Germany;
University of Copenhagen, Denmark;
IT University of Copenhagen, Denmark;
Queen Mary University London, UK;
kripke models; ultrametric spaces; step-indexed mod-els; capability calculus; frame rules; indirection theory;
机译:递归世界上的逐步索引kripke模型
机译:分步索引的隐藏状态Kripke模型
机译:可存储锁的分离逻辑的逐步索引Kripke模型
机译:递归世界上的逐步索引Kripke模型
机译:用Gentzen序贯方法研究某些模型逻辑的Kripke型模型
机译:产犊性状之间的关系建模:标准混合模型与递归混合模型之间的比较
机译:递归世界上的逐步索引Kripke模型
机译:Hehyting算法的Kripke模型的结构