The modular decomposition of countable graphs : Constructions in monadic second-order logic - HAL Accéder directement au contenu
Communication dans un congrès Année : 2005

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

Résumé

We define, and we construct in MSOL the modular decomposition of a countable graph.
Loading...
Fichier non déposé

Dates et versions

hal-00353765, version 1 (16-01-2009)

Identifiants

  • HAL Id : hal-00353765 , version 1

Citer

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⟩
186 Consultations
0 Téléchargements
Dernière date de mise à jour le 06/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus