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 DA - 2014/// SP - 281 EP - 305 VL - 48 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita/2014010/ UR - https://www.ams.org/mathscinet-getitem?mr=3302489 UR - https://doi.org/10.1051/ita/2014010 DO - 10.1051/ita/2014010 LA - en ID - ITA_2014__48_3_281_0 ER -