Hits:

Institution:计算机学院

Title of Paper:A complete axiom system for propositional projection temporal logic with cylinder computation model

Journal:Theoretical Computer Science

First Author:Zhang, Nan ; Duan, Zhenhua ; Tian, Cong

Document Code:EI 20154901650548

Volume:609

Page Number:639-657

Translation or Not:No

Date of Publication:2016-01-01

Included Journals:EI

Date:2018-06-08