%0 Journal Article %T Constrained Expressions and their Derivatives %+ Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes (LITIS) %+ Université de Rouen Normandie (UNIROUEN) %A Champarnaud, Jean-Marc %A Mignot, Ludovic %A Nicart, Florent %J CoRR %V abs/1406.6144 %8 2014 %D 2014 %Z Computer Science [cs]Journal articles %G English %L hal-02335289 %U https://normandie-univ.hal.science/hal-02335289 %~ INSA-ROUEN %~ LITIS %~ COMUE-NORMANDIE %~ UNIROUEN %~ UNILEHAVRE %~ INSA-GROUPE