机译:无上下文程序的命题动态逻辑和带斩点的定点逻辑
University of Munich, Institut fuer Informatik, Oettingenstr. 67, D-80538 Muenchen, Germany;
program specification; formal languages; concurrency;
机译:具有定点语义的逻辑谓词介绍。第一部分:逻辑编程
机译:用于与CCS并行运算符通信并发程序的命题动态逻辑
机译:基于
机译:特纳的普遍因果逻辑,命题逻辑和逻辑程序设计
机译:关于命题理论和逻辑程序的简单但困难的随机实例。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:与Chop的无内部文档的命题动态逻辑和FixPoint Logic