×
桑德拉·基弗;帕斯卡·施韦策;埃尔卡尔·塞尔曼

通过计数逻辑识别的图形。 （英语） Zbl 1508.68124号

ACM事务处理。计算。日志。 23，第1号，第1条，第31页（2021年）.

MSC公司：

19年第68季度 描述复杂性和有限模型
03B70号 计算机科学中的逻辑
05年10月15日 图和超图的着色
05C75号 图族的结构特征
08A02级 关系系统、合成法则

关键词：

魏斯费勒-勒曼算法;颜色细化;反转;一阶逻辑;计数量词;CFI图
PDF格式BibTeX公司 XML格式引用
\textit｛S.Kiefer｝等人，ACM Trans。计算。日志。23，第1号，第1条，第31页（2021年；Zbl 1508.68124）
全文： 内政部 arXiv公司