Skip to Main content Skip to Navigation
Conference papers

The modular decomposition of countable graphs : Constructions in monadic second-order logic

Abstract : We define, and we construct in MSOL the modular decomposition of a countable graph.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00353765
Contributor : Bruno Courcelle <>
Submitted on : Friday, January 16, 2009 - 1:47:01 PM
Last modification on : Thursday, July 1, 2021 - 3:08:17 AM

Identifiers

  • HAL Id : hal-00353765, version 1

Collections

Citation

Bruno Courcelle, Christian Delhommé. The modular decomposition of countable graphs : Constructions in monadic second-order logic. Computer Science Logic, 2005, Oxford, United Kingdom. pp.325-338. ⟨hal-00353765⟩

Share

Metrics

Record views

291