Canonisation and Definability for Graphs of Bounded Rank Width

Grohe, Martin (Corresponding author); Neuen, Daniel

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

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