Graph structure and monadic second-order logic : Language theoretical aspects
International audience
Main Author: | |
---|---|
Other Authors: | , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2008
|
Subjects: | |
Online Access: | https://hal.science/hal-00333842 |
id |
ftunivnantes:oai:HAL:hal-00333842v1 |
---|---|
record_format |
openpolar |
spelling |
ftunivnantes:oai:HAL:hal-00333842v1 2023-05-15T16:46:16+02: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 ftunivnantes 2023-02-08T04:09:14Z International audience Conference Object Iceland Université de Nantes: HAL-UNIV-NANTES |
institution |
Open Polar |
collection |
Université de Nantes: HAL-UNIV-NANTES |
op_collection_id |
ftunivnantes |
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_ |
1766036367985344512 |