Quantifier-free definable graph operations preserving recognizability - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2008

Quantifier-free definable graph operations preserving recognizability

Résumé

We show that an operation on graphs, and more generally, on relational structures that has an inverse definable by a monadic second-order transduction preserves the family of recognizable sets.
Fichier principal
Vignette du fichier
BC-WAL07.pdf (168.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00288471 , version 1 (17-06-2008)

Identifiants

  • HAL Id : hal-00288471 , version 1

Citer

Bruno Courcelle. Quantifier-free definable graph operations preserving recognizability. J. Flum, E. Graedel, T. Wilke. Logic and Automata, History and perspectives, Amsterdam University Press, pp.251-260, 2008, Texts in Logic and Games. ⟨hal-00288471⟩

Collections

CNRS ANR
157 Consultations
33 Téléchargements

Partager

Gmail Facebook X LinkedIn More