Graph structure and monadic second-order logic : Language theoretical aspects

International audience

Bibliographic Details
Main Author: Courcelle, Bruno
Other Authors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), L. Aceto, ANR-06-BLAN-0148,GRAAL,Décompositions des graphes et algorithmes(2006)
Format: Conference Object
Language:English
Published: HAL CCSD 2008
Subjects:
Monadic second-order logic
graph decomposition
tree-width
clique-width
transduction
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Iceland
Online Access:https://hal.science/hal-00333842
id ftanrparis:oai:HAL:hal-00333842v1
record_format openpolar
spelling ftanrparis:oai:HAL:hal-00333842v1 2024-05-12T08:05:40+00:00 Graph structure and monadic second-order logic : Language theoretical aspects Courcelle, Bruno Laboratoire Bordelais de Recherche en Informatique (LaBRI) Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS) Institut universitaire de France (IUF) Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.) L. Aceto ANR-06-BLAN-0148,GRAAL,Décompositions des graphes et algorithmes(2006) Reykjavik, Iceland 2008 https://hal.science/hal-00333842 en eng HAL CCSD Springer hal-00333842 https://hal.science/hal-00333842 Proccedings ICALP 2008 ICALP 2008 https://hal.science/hal-00333842 ICALP 2008, 2008, Reykjavik, Iceland. pp.1-13 Monadic second-order logic graph decomposition tree-width clique-width transduction [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] info:eu-repo/semantics/conferenceObject Conference papers 2008 ftanrparis 2024-04-16T03:08:33Z International audience Conference Object Iceland Portail HAL-ANR (Agence Nationale de la Recherche)
institution Open Polar
collection Portail HAL-ANR (Agence Nationale de la Recherche)
op_collection_id ftanrparis
language English
topic Monadic second-order logic
graph decomposition
tree-width
clique-width
transduction
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
spellingShingle Monadic second-order logic
graph decomposition
tree-width
clique-width
transduction
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Courcelle, Bruno
Graph structure and monadic second-order logic : Language theoretical aspects
topic_facet Monadic second-order logic
graph decomposition
tree-width
clique-width
transduction
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
description International audience
author2 Laboratoire Bordelais de Recherche en Informatique (LaBRI)
Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)
Institut universitaire de France (IUF)
Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.)
L. Aceto
ANR-06-BLAN-0148,GRAAL,Décompositions des graphes et algorithmes(2006)
format Conference Object
author Courcelle, Bruno
author_facet Courcelle, Bruno
author_sort Courcelle, Bruno
title Graph structure and monadic second-order logic : Language theoretical aspects
title_short Graph structure and monadic second-order logic : Language theoretical aspects
title_full Graph structure and monadic second-order logic : Language theoretical aspects
title_fullStr Graph structure and monadic second-order logic : Language theoretical aspects
title_full_unstemmed Graph structure and monadic second-order logic : Language theoretical aspects
title_sort graph structure and monadic second-order logic : language theoretical aspects
publisher HAL CCSD
publishDate 2008
url https://hal.science/hal-00333842
op_coverage Reykjavik, Iceland
genre Iceland
genre_facet Iceland
op_source Proccedings ICALP 2008
ICALP 2008
https://hal.science/hal-00333842
ICALP 2008, 2008, Reykjavik, Iceland. pp.1-13
op_relation hal-00333842
https://hal.science/hal-00333842
_version_ 1798848024728829952

Similar Items