机译:具有两个变量且没有分离合取的分离逻辑的表达完备性
Univ Paris Saclay, CNRS, ENS Cachan, LSV, Paris, France;
NYU, New York, NY 10003 USA;
Theory; Verification; Separation logic; expressive completeness; two-variable logics; undecidability;
机译:分离逻辑验证指针程序的完整性和表达性
机译:通过分离逻辑的指针程序验证的完整性和表现力
机译:用于分离结合的模态逻辑的内部证明计算
机译:表现描述逻辑中的角色连词
机译:家庭星座变量对完整生育力的影响:与某些人格因素相关的出生顺序,响应性,S性和成年家庭大小的影响的纵向分析。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:具有两个变量且无分离连接的分离逻辑的表达完整性*