10.3778/j.issn.1673-9418.1807034
模糊交互时态逻辑的一些标记
交互时态逻辑、计算树逻辑、并发博弈结构、模型检测、模糊逻辑
12
TP301(计算技术、计算机技术)
The National Natural Science Foundation of China under Grant Nos. 61672023, 61562015, 61673352;the Natural Science Key Foundation of Guangxi under Grant Nos. 2015GXNSFDA139038, 2018GXNSFDA138003;the Foundation of Guangxi Key Laboratory of Trusted Software under Grant No. kx201609;the High Level Innovation Team of Colleges and Universities in Guangxi and Outstanding Scholars Program Funding;the Foundation of Innovation Team of Guilin University of Electronic Technology;the Qing Lan Project of Jiangsu Universities;the Technology Support Project of Taizhou under Grant No. TS201634
2019-01-16(万方平台首次上网日期,不代表论文的发表时间)
共8页
2033-2040