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 : TOCL
Volume: 24
Issue: 1
Page(s)/Article-Nr.: 1-31

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]