Graphs Identified by Logics with Counting

Kiefer, Sandra (Corresponding author); Schweitzer, Pascal; Selman, Aziz Erkal

New York, NY : Association for Computing Machinery (2022)
Journal Article

In: ACM transactions on computational logic
Volume: 23
Issue: 1
Page(s)/Article-Nr.: 1-31