Monadic datalog over finite structures of bounded treewidth.
Bounded treewidth and monadic second-order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we know that any property of finite structures, which is expressible by an MSO sentence, can be decided in linear time (data...
| المؤلفون الرئيسيون: | , , |
|---|---|
| التنسيق: | Journal article |
| اللغة: | English |
| منشور في: |
2010
|