Logic programming ; Programming languages ; Semantics ; Expressiveness;
机译:更多表达性时态逻辑编程语言的逻辑基础
机译:公制时间逻辑表达何时完成?
机译:Mazurkiewicz迹线的纯未来局部时态逻辑在表达上是完整的
机译:时间逻辑程序设计完整而富有表现力
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:2度量时态逻辑的表达完整性