Regular expressions for tree-width 2 graphs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Regular expressions for tree-width 2 graphs

Amina Doumane
Laboratoire de l'Informatique du Parallélisme

Résumé

We propose a syntax of regular expressions, which describes languages of tree-width 2 graphs. We show that these languages correspond exactly to those languages of tree-width 2 graphs, definable in the counting monadic second-order logic (CMSO).

Mots clés

MSO Regular expressions

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
LIPIcs-ICALP-2022-121.pdf (833.41 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Amina Doumane  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03753626

Soumis le : jeudi 18 août 2022-15:07:31

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : samedi 19 novembre 2022-18:37:52

Télécharger pour visualiser

Dates et versions

hal-03753626 , version 1 (18-08-2022)

Identifiants

Citer

Amina Doumane. Regular expressions for tree-width 2 graphs. International Colloquium on Automata, Languages and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.121⟩. ⟨hal-03753626⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 UDL
49 Consultations
52 Téléchargements

Altmetric

Partager

More