TY - JOUR AU - Caron, Pascal AU - Champarnaud, Jean-Marc AU - Mignot, Ludovic TI - A general framework for the derivation of regular expressions JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2014 SP - 281 EP - 305 VL - 48 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita/2014010/ DO - 10.1051/ita/2014010 LA - en ID - ITA_2014__48_3_281_0 ER -