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


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