Hennessy-Milner Theorems via Galois Connections
Hennessy-Milner Theorems via Galois Connections
复制标题
通过伽罗瓦连接的 Hennessy-Milner 定理
DOI：
10.4230/lipics.csl.2023.12
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Beohar H
中科院分区：
文献类型：
--
作者：
Beohar H
登录
查看更多内容
测试语义：连接流程和流程逻辑
影响因子：
6.9
作者：
Dusko Pavlovic;M. Mislove;J. Worrell
通讯作者：
J. Worrell
影响因子：
0.6
作者：
Baldan, Paolo;Bonchi, Filippo;Koenig, Barbara
通讯作者：
Koenig, Barbara
共归纳谓词的表达逻辑
DOI：
10.46298/lmcs-17(4:19)2021
发表时间：
2020
期刊：
ArXiv
影响因子：
--
作者：
C. Kupke;J. Rot
通讯作者：
J. Rot
定量模态逻辑的表达能力:通过密度和近似的分类基础
DOI：
10.1109/lics52264.2021.9470656
发表时间：
2021
期刊：
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Yuichi Komorida;Shin-ya Katsumata;Clemens Kupke;Jurriaan Rot;Ichiro Hasuo
通讯作者：
Ichiro Hasuo
良好操作语义的过程等价的抽象代数方法
DOI：
--
发表时间：
2004
期刊：
影响因子：
--
作者：
Bartek Klin
通讯作者：
Bartek Klin