Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
复制标题
在树上的一元二阶逻辑中表达基数量词
DOI：
10.3233/fi-2010-260
复制
发表时间：
2010
影响因子：
0.8
通讯作者：
Bárány V
中科院分区：
文献类型：
--
作者：
Bárány V
登录
查看更多内容
DOI：
10.1007/3-540-54345-7_80
发表时间：
1991-09
期刊：
--
影响因子：
--
作者：
D. Niwinski
通讯作者：
D. Niwinski
规则树集合类中的 Borel 层次结构是无限的
影响因子：
1.1
作者：
Jerzy Skurczynski
通讯作者：
Jerzy Skurczynski
论MSO可定义分支集的Borel复杂度
影响因子：
0.8
作者：
Mikolaj Bojanczyk;D. Niwinski;A. Rabinovich;Adam Radziwonczyk;Michal Skrzypczak
通讯作者：
Michal Skrzypczak
评论：Michael O. Rabin，二阶理论和无限树自动机的可判定性
DOI：
--
发表时间：
1972
期刊：
影响因子：
--
作者：
D. Siefkes
通讯作者：
D. Siefkes
可判定性和广义量词
DOI：
--
发表时间：
1980
期刊：
影响因子：
--
作者：
A. Baudisch
通讯作者：
A. Baudisch