Graphs identified by logics with counting

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

New York, NY : Association for Computing Machinery (2021)
Fachzeitschriftenartikel

In: ACM transactions on computational logic : TOCL
Band: 23
Heft: 1
Seite(n)/Artikel-Nr.: 1-31

Einrichtungen

• Fachgruppe Informatik [120000]
• [122110]