Department of Computer Science and Engineering Pohang University of Science and Technology (POSTECH) Republic of Korea;
Separation logic; Boolean BI; Theorem prover; Nested sequent calculus;
机译:布尔BI的一个定理证明
机译:基于布尔环定理证明的线性策略
机译:基于布尔环定理证明的线性策略
机译:BIOLEAN BI的定理报告
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:布尔BI的一个定理证明
机译:哪个定理证明。四种定理证明方法综述