Computer logic; Parallel processing; Decision making; Formulations; Paths; Time; Hierarchies;
机译:时间逻辑中加权Kripke结构的定量表征
机译:时间逻辑中加权克里普克结构的定量刻画
机译:时间逻辑中加权Kripke结构的定量表征
机译:论文“使用具有三值时间逻辑的部分Kripke结构进行模型检查”中的一些问题
机译:乌龟对克里普克说的话:逻辑的采用问题和认识论
机译:点过程时间结构表征了电台活动
机译:命题时间逻辑中的有限Kripke结构特征