Canonisation and Definability for Graphs of Bounded Rank Width

Grohe, Martin (Corresponding author); Neuen, Daniel (Corresponding author)

Piscataway, NJ] : IEEE (2019)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) / publisher: IEEE

Einrichtungen

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