Cargando…

Graph structure and monadic second-order logic: a language-theoretic approach

Detalles Bibliográficos
Autores principales: Courcelle, Bruno, Engelfriet, Joost
Lenguaje:eng
Publicado: Cambridge University Press 2012
Materias:
Acceso en línea:http://cds.cern.ch/record/2634126
_version_ 1780959681168015360
author Courcelle, Bruno
Engelfriet, Joost
author_facet Courcelle, Bruno
Engelfriet, Joost
author_sort Courcelle, Bruno
collection CERN
id cern-2634126
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2012
publisher Cambridge University Press
record_format invenio
spelling cern-26341262021-04-21T18:44:47Zhttp://cds.cern.ch/record/2634126engCourcelle, BrunoEngelfriet, JoostGraph structure and monadic second-order logic: a language-theoretic approachMathematical Physics and MathematicsCambridge University Pressoai:cds.cern.ch:26341262012
spellingShingle Mathematical Physics and Mathematics
Courcelle, Bruno
Engelfriet, Joost
Graph structure and monadic second-order logic: a language-theoretic approach
title Graph structure and monadic second-order logic: a language-theoretic approach
title_full Graph structure and monadic second-order logic: a language-theoretic approach
title_fullStr Graph structure and monadic second-order logic: a language-theoretic approach
title_full_unstemmed Graph structure and monadic second-order logic: a language-theoretic approach
title_short Graph structure and monadic second-order logic: a language-theoretic approach
title_sort graph structure and monadic second-order logic: a language-theoretic approach
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/2634126
work_keys_str_mv AT courcellebruno graphstructureandmonadicsecondorderlogicalanguagetheoreticapproach
AT engelfrietjoost graphstructureandmonadicsecondorderlogicalanguagetheoreticapproach