First-order logic; Transitivity; Equivalence; Complexity;
机译:许多排序的一阶线性时间逻辑的可判定和表达片段
机译:一阶模态逻辑的捆绑片段:(Un)可判定性
机译:叠加决定地面理论上的一阶逻辑片段
机译:一阶逻辑可确定片段中的可及性和对等关系:一项调查
机译:可教育的心理发育迟缓儿童的身分保存,当量保存和体重和身高的过渡推论:评估,训练和普遍化
机译:跟踪刺激对的两种响应格式中的等价类形成: 响应标签和预先编程的传递性感应的影响
机译:有限可靠性对具有一个传递关系的双变量的一阶逻辑是可解除的
机译:传递闭包与逻辑程序并行执行策略综述