TY - JOUR AU - Courcelle, Bruno TI - Introduction à la théorie des graphes : Définitions, applications et techniques de preuves JO - Journées mathématiques X-UPS PY - 2004 SP - 1 EP - 24 PB - Les Éditions de l’École polytechnique UR - http://archive.numdam.org/articles/10.5802/xups.2004-01/ DO - 10.5802/xups.2004-01 LA - fr ID - XUPS_2004____1_0 ER -