Guarded Teams: The Horizontally Guarded Case
Guarded Teams: The Horizontally Guarded Case
复制标题
守卫团队：水平守卫案例
DOI：
10.4230/lipics.csl.2020.22
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
M. Otto
中科院分区：
文献类型：
--
作者：
E. Grädel;M. Otto
登录
查看更多内容
论看守人员的约束力
DOI：
--
发表时间：
1999
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
表征可判定定点逻辑中的可定义性
DOI：
10.4230/lipics.icalp.2017.107
发表时间：
2017
期刊：
ArXiv
影响因子：
--
作者：
Michael Benedikt;P. Bourhis;M. V. Boom
通讯作者：
M. V. Boom
DOI：
10.1016/s1570-2464(07)80008-5
发表时间：
2007
期刊：
--
影响因子：
--
作者：
V. Goranko;M. Otto
通讯作者：
V. Goranko;M. Otto
受保护的定点逻辑和可数树的一元理论
DOI：
10.1016/s0304-3975(01)00151-7
发表时间：
2002
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
DOI：
--
发表时间：
2012
期刊：
Studia Logica: An International Journal for Symbolic Logic
影响因子：
--
作者：
E. Grädel;J. Väänänen
通讯作者：
J. Väänänen