Decidability Results for the Boundedness Problem
Decidability Results for the Boundedness Problem
复制标题
有界问题的可判定性结果
DOI：
10.2168/lmcs-10(3:2)2014
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Mark Weyer
中科院分区：
文献类型：
--
作者：
Achim Blumensath;Martin Otto;Mark Weyer
登录
查看更多内容
论看守人员的约束力
DOI：
--
发表时间：
1999
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
DOI：
10.1016/s1570-2464(07)80008-5
发表时间：
2007
期刊：
--
影响因子：
--
作者：
V. Goranko;M. Otto
通讯作者：
V. Goranko;M. Otto
DOI：
10.2168/lmcs-6(1:4)2010
发表时间：
2009-10
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Achim Blumensath
通讯作者：
Achim Blumensath
重复出现的多米诺骨牌：使高度不可判定的事情变得高度可理解
DOI：
--
发表时间：
1985
期刊：
影响因子：
--
作者：
D. Harel
通讯作者：
D. Harel
非循环结构上 Monadic FO 的有界性
DOI：
10.1007/978-3-540-73420-8_50
发表时间：
2007
期刊：
影响因子：
--
作者：
S. Kreutzer;M. Otto;N. Schweikardt
通讯作者：
N. Schweikardt