...
机译:在线性时间内用单子二阶逻辑查询语言树库
Complexity theory; Monadic second-order logic; Query; Treebank;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:线性时间域中单数查询不确定数据的线性时间算法
机译:线性延迟枚举和二阶二阶逻辑
机译:具有任意谓词的Monadic二阶逻辑
机译:单子直觉和模态逻辑承认可证明性
机译:使用广义线性模型捕获对二阶统计数据的多个时间尺度:增益缩放和分数分化
机译:在线性时间内用一元二阶逻辑查询语言树库