University of Potsdam;
University of Potsdam;
机译:实现模态逻辑K的关系定理证明者
机译:机器人任务规划,使用乘法指数一阶线性逻辑的乘法定理报告
机译:限制语言中线性Kripke帧的一阶模态逻辑的算法属性
机译:实施和评估一阶模态逻辑的普通
机译:HOL定理证明器中基于角色的访问控制的模态逻辑。
机译:评估伦敦西北伦敦整个系统综合护理计划的设计和实施:为什么再次证明调试是最薄弱的环节
机译:lolliCoP-一阶经典逻辑的精益连接方法定理证明的线性逻辑实现
机译:命题模态逻辑的矩阵定理证明器的实现