Silicon; Complexity theory; Database languages; XML; Servers; Automata; Databases;
机译:可以确定带有后继的二变量一阶逻辑中的量词替换
机译:具有多个线性阶数的二变量逻辑的可判定性问题
机译:二变量依赖逻辑和IF逻辑的复杂性
机译:双变量逻辑的订单不变性是可解除的
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:离子通用均衡的两变量无烟环分析预测心室肌细胞的钙稳态
机译:双变量逻辑的阶不变性是可判定的
机译:过程逻辑的可判定性和表达性