2[<;], first-order logic interpreted in finite words, in which formulas'/>
Complexity theory; Algebra; Upper bound; Syntactics; Analytical models; Mathematical model; Servers;
机译:两个可变逻辑,其中一些关系之间:表达,可靠性和会员资格
机译:具有传递关系的二元逻辑片段的可满足性问题
机译:与关系之间的两个可变逻辑的代数决策过程
机译:双变量逻辑与关系之间的逻辑
机译:二变量Artin猜想和椭圆类比
机译:使用描述逻辑评估NDF-RT中药物类别成员关系的一致性
机译:有限可靠性对具有一个传递关系的双变量的一阶逻辑是可解除的