加载中…
2022-08-16
Order-Invariance of Two-Variable Logic is coNExpTime-complete
Bartosz Bednarczyk
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本