桑德拉·基弗;帕斯卡·施韦策;埃尔卡尔塞尔曼 通过计数逻辑识别的图形。 (英语) Zbl 1508.68124号 ACM事务处理。计算。日志。 23,第1号,第1条,第31页(2021年).MSC公司:19年第68季度 03B70号 05年10月15日 05C75号 08A02级 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,ACM Trans。计算。日志。23,第1号,第1条,第31页(2021年;Zbl 1508.68124) 全文: 内政部 arXiv公司
维德州帕库萨;斯文加沙尔特霍夫;埃尔卡尔·塞尔曼 Cai-Fürer-Immerman问题在无选择多项式时间内的可定义性。 (英语) 兹比尔1407.68199 ACM事务处理。计算。日志。 第19号第2条第7条第27页(2018年).MSC公司:19年第68季度 03C13号机组 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Pakusa}等人,ACM翻译。计算。日志。19,第2号,第7条,第27页(2018;Zbl 1407.68199) 全文: 内政部 链接