Common knowledge and multi-scale locality analysis in Cayley structures
Common knowledge and multi-scale locality analysis in Cayley structures
复制标题
凯莱结构中的常识和多尺度局部性分析
DOI：
10.1109/lics.2017.8005072
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
M. Otto
中科院分区：
文献类型：
--
作者：
F. Canavoi;M. Otto
登录
查看更多内容
DOI：
10.1016/s1570-2464(07)80008-5
发表时间：
2007
期刊：
--
影响因子：
--
作者：
V. Goranko;M. Otto
通讯作者：
V. Goranko;M. Otto
依靠 CTL*：依靠一元路径逻辑的表达能力
影响因子：
1
作者：
F. Moller;A. Rabinovich
通讯作者：
A. Rabinovich
DOI：
10.1007/3-540-61604-7_60
发表时间：
1996-08
期刊：
--
影响因子：
--
作者：
David Janin;I. Walukiewicz
通讯作者：
David Janin;I. Walukiewicz
有限结构上的模态逻辑
DOI：
--
发表时间：
1997
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
Eric Rosen
通讯作者：
Eric Rosen
DOI：
10.1145/2108242.2108247
发表时间：
2012
期刊：
2010 25th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
M. Otto
通讯作者：
M. Otto