Boundedness of Monadic Second-Order Formulae over Finite Words
Boundedness of Monadic Second-Order Formulae over Finite Words
复制标题
有限词上一元二阶公式的有界性
DOI：
10.1007/978-3-642-02930-1_6
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
M. Weyer
中科院分区：
文献类型：
--
作者：
A. Blumensath;M. Otto;M. Weyer
证明了一元二阶逻辑在有限字类上的有界性问题是可判定的。
We prove that the boundedness problem for monadic second-order logic over the class of all finite words is decidable.
登录
查看更多内容
非循环结构上 Monadic FO 的有界性
DOI：
10.1007/978-3-540-73420-8_50
发表时间：
2007
期刊：
影响因子：
--
作者：
S. Kreutzer;M. Otto;N. Schweikardt
通讯作者：
N. Schweikardt
DOI：
10.1109/lics.2006.50
发表时间：
2006
期刊：
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
影响因子：
--
作者：
M. Otto
通讯作者：
M. Otto
全局归纳可定义性
影响因子：
0.6
作者：
K. Barwise;Y. Moschovakis
通讯作者：
Y. Moschovakis
具有距离函数的有限自动机的改进有限定理
影响因子：
1.1
作者：
K. Hashiguchi
通讯作者：
K. Hashiguchi
树语言析取μ微积分的嵌套深度和有限性问题
DOI：
10.1007/978-3-540-87531-4_30
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Thomas Colcombet;Christof Löding
通讯作者：
Christof Löding