Bruno Courcelle est un mathématicien et informaticien théoricien français, connu pour le théorème de Courcelle en théorie des graphes.

Property Value
dbo:abstract
  • Bruno Courcelle est un mathématicien et informaticien théoricien français, connu pour le théorème de Courcelle en théorie des graphes. (fr)
  • Bruno Courcelle est un mathématicien et informaticien théoricien français, connu pour le théorème de Courcelle en théorie des graphes. (fr)
dbo:almaMater
dbo:award
dbo:citizenship
dbo:discipline
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:occupation
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 11330576 (xsd:integer)
dbo:wikiPageLength
  • 3161 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 189358008 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2012 (xsd:integer)
prop-fr:auteur
  • Joost Engelfriet (fr)
  • Bruno Courcelle (fr)
  • Joost Engelfriet (fr)
  • Bruno Courcelle (fr)
prop-fr:collection
  • Encyclopedia of Mathematics and its applications (fr)
  • Encyclopedia of Mathematics and its applications (fr)
prop-fr:hal
  • 646514 (xsd:integer)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:lireEnLigne
prop-fr:numéroDansCollection
  • 138 (xsd:integer)
prop-fr:pagesTotales
  • xiv+728 (fr)
  • xiv+728 (fr)
prop-fr:préface
  • Maurice Nivat (fr)
  • Maurice Nivat (fr)
prop-fr:titre
  • Graph structure and monadic second-order logic. A language-theoretic approach (fr)
  • Graph structure and monadic second-order logic. A language-theoretic approach (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdf:type
rdfs:comment
  • Bruno Courcelle est un mathématicien et informaticien théoricien français, connu pour le théorème de Courcelle en théorie des graphes. (fr)
  • Bruno Courcelle est un mathématicien et informaticien théoricien français, connu pour le théorème de Courcelle en théorie des graphes. (fr)
rdfs:label
  • Bruno Courcelle (fr)
  • Bruno Courcelle (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:doctoralStudent of
is dbo:namedAfter of
is dbo:wikiPageWikiLink of
is prop-fr:nom of
is oa:hasTarget of
is foaf:primaryTopic of