The Theory of Concatenation over Finite Models
The Theory of Concatenation over Finite Models
复制标题
有限模型的级联理论
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Freydenberger DD
中科院分区：
文献类型：
--
作者：
Freydenberger DD
登录
查看更多内容
子字排序上的一阶逻辑的可判定性、复杂性和表达性
DOI：
--
发表时间：
2017
期刊：
Logic in Computer Science
影响因子：
--
作者：
Simon Halfon;P. Schnoebelen;Georg Zetzsche
通讯作者：
Georg Zetzsche
范围连接文法的 Earley 解析算法
DOI：
--
发表时间：
2009
期刊：
Annual Meeting of the Association for Computational Linguistics
影响因子：
--
作者：
Laura Kallmeyer;Wolfgang Maier;Y. Parmentier
通讯作者：
Y. Parmentier
影响因子：
0.8
作者：
Martin Kutrib
通讯作者：
Martin Kutrib
DOI：
--
发表时间：
2019
期刊：
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
影响因子：
--
作者：
Christoph Berkholz;Hubie Chen
通讯作者：
Hubie Chen
一阶公式的树宽度
DOI：
--
发表时间：
2009
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
Isolde Adler;M. Weyer
通讯作者：
M. Weyer