(Q2654799)

بيانات

Wikidata item الإنجليزية
٠ مرجع
instance of الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
sex or gender الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
occupation الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
given name الإنجليزية
series ordinal الإنجليزية
1
١ مراجع
Imported from Wikidata item الإنجليزية
official website الإنجليزية
DBLP author ID الإنجليزية
c/BCourcelle
١ مراجع
Imported from Wikidata item الإنجليزية
VIAF ID الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
ISNI الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
GND ID الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
doctoral advisor الإنجليزية
Maurice Nivat الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
notable work الإنجليزية
Courcelle's theorem الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
date of birth الإنجليزية
القرن 20
١ مراجع
Imported from Wikidata item الإنجليزية
family name الإنجليزية
Courcelle الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
country of citizenship الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
field of work الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
educated at الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
award received الإنجليزية
S. Barry Cooper Prize الإنجليزية
point in time الإنجليزية
2020http://data.marefa.org/entity/Q1985727
quotation الإنجليزية
The 2020 S. Barry Cooper Prize is awarded to Bruno Courcelle for his work on the definability of graph properties in Monadic Second Order Logic, through a sequence of seminal papers and a book (joint with Joost Engelfriet). This forms an outstanding example of theory building, bringing together logic, computability, graph grammars, and various notions of graph width (tree-width, clique-width and rank-width) and opening new avenues in our understanding of graph structure theory and the computability and complexity of graph algorithms. (الإنجليزية)
١ مراجع
Imported from Wikidata item الإنجليزية
doctoral student الإنجليزية
Valère Dussaux الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
Christian-Philippe Audebaud الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
Colin de la Higuera الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
Pierre Halftermeyer الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
Jean-Claude Royer الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
Philippe Codognet الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
student الإنجليزية
Emeric Gioan الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
Michel Billaud الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
Freebase ID الإنجليزية
١ مراجع
Imported from Wikidata item الإنجليزية
member of الإنجليزية
 
عدِّل
    عدِّل