机译:MSVL:时态逻辑编程的一种类型化语言
ICTT and ISN Lab, Xidian University, Xi'an 710071, China;
ICTT and ISN Lab, Xidian University, Xi'an 710071, China;
ICTT and ISN Lab, Xidian University, Xi'an 710071, China;
ICTT and ISN Lab, Xidian University, Xi'an 710071, China;
type; temporal logic programming; MSVL; type declaration; struct definition;
机译:更多表达性时态逻辑编程语言的逻辑基础
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:基于答案集编程和时间间隔逻辑约束的XML授权形式语言
机译:在多态逻辑编程语言中优化类型的运行时处理
机译:过程理论(模型,证明系统,编程语言,程序综合,时间逻辑)。
机译:语言理解的时间动态中的语法概念和逻辑:来自事件相关潜力的证据
机译:更具表现力的声明性时态逻辑编程语言的逻辑基础
机译:Hoare的两种数据类型编程语言的逻辑