|
个人信息：Personal Information
教授 博士生导师 研究生导师
性别：女
毕业院校：西安电子科技大学
学位：博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
学科：计算机科学与技术
电子邮箱：
扫描关注
A complete axiom system for propositional projection temporal logic with cylinder computation model
点击次数：
所属单位：计算机学院
发表刊物：Theoretical Computer Science
第一作者：Zhang, Nan ; Duan, Zhenhua ; Tian, Cong
论文编号：EI 20154901650548
卷号：609
页面范围：639-657
是否译文：否
发表时间：2016-01-01
收录刊物：EI