Two-variable logics with counting and semantic constraints
SIGLOG News(2018)
摘要
In this article we discuss fragments and extensions of two-variable logics motivated by practical applications. We outline the decidability frontier, describing some of the techniques developed for deciding satisfiability and finite satisfiability, as well as characterizing their complexity.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络