文章基本信息
- 标题:The Monadic Second-order Logic of Graphs XVI : Canonical Graph Decompositions
- 本地全文:下载
- 作者:Bruno Courcelle
- 期刊名称:Logical Methods in Computer Science
- 印刷版ISSN:1860-5974
- 电子版ISSN:1860-5974
- 出版年度:2006
- 卷号:2
- 期号:2
- 出版社:Technical University of Braunschweig