机译:分离逻辑和模式:调查
New York University, USA;
New York University, USA;
separation logic decidability; computational complexity; expressive power; temporal logic; modal logic; first-order logic; second-order logic;
机译:模态分离逻辑的力量
机译:资源动态的模式分离逻辑
机译:表征非确定性和随机系统行为等效的模态逻辑研究
机译:分离逻辑模态扩展中的数据并行指针程序的推理
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:用于分离逻辑的正式C内存模型
机译:模态分离逻辑的力量