Canonisation and definability for graphs of bounded rank width

Grohe, Martin (Corresponding author); Neuen, Daniel

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

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

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme) [122910]