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:SCI WOS:000367275000012

Volume:609

Page Number:639-657

ISSN:0304-3975

Translation or Not:No

Date of Publication:2016-01-01

Included Journals:SCI

Date:2018-06-08