The monadic second-order logic of graphs XV : On a conjecture by D. Seese - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Applied Logic Année : 2006

The monadic second-order logic of graphs XV : On a conjecture by D. Seese

Bruno Courcelle
Laboratoire Bordelais de Recherche en Informatique
Institut universitaire de France
CV

Domaines

Logique en informatique [cs.LO]

Bruno Courcelle  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00334050

Soumis le : vendredi 24 octobre 2008-15:12:36

Dernière modification le : lundi 15 avril 2024-11:25:23

Fichier non déposé

Dates et versions

hal-00334050 , version 1 (24-10-2008)

Identifiants

  • HAL Id : hal-00334050 , version 1

Citer

Bruno Courcelle. The monadic second-order logic of graphs XV : On a conjecture by D. Seese. Journal of Applied Logic, 2006, 4, pp.79-114. ⟨hal-00334050⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS
62 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More