%0 Journal Article %A Courcelle, Bruno %T Introduction à la théorie des graphes : Définitions, applications et techniques de preuves %J Journées mathématiques X-UPS %D 2004 %P 1-24 %I Les Éditions de l’École polytechnique %U http://archive.numdam.org/articles/10.5802/xups.2004-01/ %R 10.5802/xups.2004-01 %G fr %F XUPS_2004____1_0