Regular tree languages, cardinality predicates, and addition-invariant FO
Regular tree languages, cardinality predicates, and addition-invariant FO
复制标题
常规树语言、基数谓词和加法不变 FO
DOI：
10.4230/lipics.stacs.2012.489
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Nicole Schweikardt
中科院分区：
文献类型：
--
作者：
Frederik Harwath;Nicole Schweikardt
登录
查看更多内容
词的因素
DOI：
--
发表时间：
1989
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
D. Beauquier;J. Pin
通讯作者：
J. Pin
数据库理论中导致崩溃的 Ehrenfeucht-Fraïssé 博弈方法
影响因子：
1
作者：
Nicole Schweikardt
通讯作者：
Nicole Schweikardt
加法不变 FO 和正则性
DOI：
--
发表时间：
2010
期刊：
2010 25th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Nicole Schweikardt;L. Segoufin
通讯作者：
L. Segoufin
阶不变一阶公式的局部性
DOI：
--
发表时间：
1998
期刊：
TOCL
影响因子：
--
作者：
Martin Grohe;T. Schwentick
通讯作者：
T. Schwentick