魏秀娟(1990-),女,河南郑州人,博士,主要研究领域为计算智能,加权自动机;李永明(1966-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为计算智能,加权自动机理论,模型检测,量子计算与量子信息.
李永明,E-mail:liyongm@snnu.edu.cn
TP301
国家自然科学基金(11671244,11271237);高等学校博士学科点专项科研基金(20130202110001)
National Natural Science Foundation of China (11671244, 11271237); Research Fund for the Doctoral Program of Higher Education of China (20130202110001)
魏秀娟,李永明.格值交替树自动机.软件学报,2019,30(12):3605-3621
复制