@incollection{XUPS_2004____1_0, author = {Courcelle, Bruno}, title = {Introduction \`a la th\'eorie des~graphes~: {D\'efinitions,} applications et techniques de preuves}, booktitle = {Graphes}, series = {Journ\'ees math\'ematiques X-UPS}, pages = {1--24}, publisher = {Les \'Editions de l{\textquoteright}\'Ecole polytechnique}, year = {2004}, doi = {10.5802/xups.2004-01}, language = {fr}, url = {http://archive.numdam.org/articles/10.5802/xups.2004-01/} }