论文标题
两变量逻辑的订单传播是conexptime-complete
Order-Invariance of Two-Variable Logic is coNExpTime-complete
论文作者
论文摘要
我们建立了确定给定两个变量一阶公式的订单不变问题的问题的整体 - 改进并显着简化了由Zeume和harwath绑定的cotwonexptime。
We establish coNExpTime-completeness of the problem of deciding order-invariance of a given two variable first-order formula, improving and significantly simplifying coTwoNExpTime bound by Zeume and Harwath.
