Qr code
中文
Xingsi Xue

Supervisor of Master's Candidates


School/Department:计算机科学与数学学院

Administrative Position:福建理工大学 智能信息处理研究中心 主任

Education Level:Postgraduate (Doctoral)

Business Address:福建理工大学北校区 C4-216

Contact Information:E-mail: jack8375@gmail.com, xue.xingsi@fjut.edu.cn, xxs@fjut.edu.cn

Degree:Doctoral degree

Status:Employed

Academic Titles:中国计算机学会 福州分部 秘书长

Alma Mater:西安电子科技大学

Discipline:Computer science and technology

Honors and Titles:

ACM中国新星奖 The Tenth International Conference on Genetic and Evolutionary Computing (ICGEC 2016), Excellent Paper Award

Click:Times

The Last Update Time: ..

Current position: Home >> Scientific Research >> Paper Publications
行为时序逻辑中四级公平性下的活性推理规则

Release time:2018-06-04    Hits:

Affiliation of Author(s):计算机科学与数学学院

Journal:计算机应用研究

Funded by:国家自然科学基金项目

Indexed by:Journal paper

Document Code:8344

Volume:33

Issue:10

Page Number:3045-3048

ISSN No.:1001-3695

Translation or Not:no

CN No.:51-1196/TP

Date of Publication:2016-10-01