Institut fuer Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany;
机译:机器人任务规划,使用乘法指数一阶线性逻辑的乘法定理报告
机译:限制语言中线性Kripke帧的一阶模态逻辑的算法属性
机译:限制性语言有限kripke帧的一阶模态逻辑的算法属性
机译:MLEANCOP:一阶模态逻辑的连接证报
机译:HOL定理证明器中基于角色的访问控制的模态逻辑。
机译:扩展一阶逻辑缓解框架以处理多种病态的患者偏好
机译:lolliCoP-一阶经典逻辑的精益连接方法定理证明的线性逻辑实现
机译:pROVER:ada中的一阶逻辑系统