Counting of Teams in First-Order Team Logics
Counting of Teams in First-Order Team Logics
复制标题
一阶团队逻辑中的团队计数
DOI：
10.4230/lipics.mfcs.2019.19
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
F. Yang
中科院分区：
文献类型：
--
作者：
A. Haak;J. Kontinen;F. Müller;H. Vollmer;F. Yang
登录
查看更多内容
一阶团队属性的逻辑
影响因子：
2
作者：
J. Kontinen;Fan Yang
通讯作者：
Fan Yang
DOI：
10.1145/1459010.1459017
发表时间：
2009
期刊：
ACM Trans. Comput. Log.
影响因子：
--
作者：
J. Kontinen
通讯作者：
J. Kontinen
团队语义中的包含与排除依赖——论不完美信息的一些逻辑
影响因子：
0.8
作者：
P. Galliani
通讯作者：
P. Galliani
概率团队语义中的分布恒等式的各个方面
DOI：
--
发表时间：
2018
期刊：
European Conference on Logics in Artificial Intelligence
影响因子：
--
作者：
Miika Hannula;Åsa Hirvonen;J. Kontinen;V. Kulikov;Jonni Virtema
通讯作者：
Jonni Virtema
MSO 和单子计数层次结构的扩展
DOI：
10.1016/j.ic.2010.09.002
发表时间：
2011
期刊：
Inf. Comput.
影响因子：
--
作者：
J. Kontinen;H. Niemistö
通讯作者：
H. Niemistö