Circle graphs and monadic second-order l
✍
Bruno Courcelle
📂
Article
📅
2008
🏛
Elsevier Science
🌐
English
⚖ 357 KB
This article is part of a project consisting in expressing, whenever possible, graph properties and graph transformations in monadic second-order logic or in its extensions using modulo p cardinality set predicates or auxiliary linear orders. A circle graph is the intersection graph of a set of chor