Counting in Team Semantics
Counting in Team Semantics
复制标题
团队语义中的计数
DOI：
10.4230/lipics.csl.2016.35
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
S. Hegselmann
中科院分区：
文献类型：
--
作者：
E. Grädel;S. Hegselmann
登录
查看更多内容
DOI：
10.1109/sfcs.1985.27
发表时间：
1985
期刊：
26th Annual Symposium on Foundations of Computer Science (sfcs 1985)
影响因子：
--
作者：
Y. Gurevich;S. Shelah
通讯作者：
S. Shelah
DOI：
--
发表时间：
2012
期刊：
Studia Logica: An International Journal for Symbolic Logic
影响因子：
--
作者：
E. Grädel;J. Väänänen
通讯作者：
J. Väänänen
依存逻辑中的广义量词
DOI：
--
发表时间：
2011
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
F. Engström
通讯作者：
F. Engström
带有多数量词的依赖逻辑
DOI：
10.1007/s10849-015-9218-3
发表时间：
2011
期刊：
Journal of Logic, Language and Information
影响因子：
--
作者：
Arnaud Durand;Johannes Ebbing;J. Kontinen;H. Vollmer
通讯作者：
H. Vollmer
包含逻辑和定点逻辑
DOI：
--
发表时间：
2013
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
P. Galliani;L. Hella
通讯作者：
L. Hella