The modular decomposition of countable graphs. Definition and construction in monadic second-order logic

Autor: Courcelle, Bruno a, ⁎, Delhommé, Christian b
Zdroj: In Theoretical Computer Science 2008 394(1):1-38
Databáze: ScienceDirect