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]
Identifier
- DOI: 10.1145/3568025
- RWTH PUBLICATIONS: RWTH-2023-02327