量化逻辑--Xing, Huili - The Extension of Bisimulation Quantified Modal Logic Ba ...

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Received October 3, 2019, accepted October 25, 2019, date of publication October 29, 2019, date of current version November 14, 2019.
Digital Object Identifier 10.1109/ACCESS.2019.2950271


The Extension of Bisimulation Quantified Modal Logic
Based on Covariant-Contravariant Refinement
HUILI XING
Department of Medical Information, Binzhou Medical University, Yantai 264003, China
e-mail: xinghuili2003@126.com
This work was supported in part by the National Natural Science Foundation of China unde ...

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Simulation Extension ulation Logic ATION