Article Dans Une Revue
Fundamenta Informaticae
Année : 2016
Ludovic Mignot : Connectez-vous pour contacter le contributeur
https://normandie-univ.hal.science/hal-02335271
Soumis le : lundi 28 octobre 2019-11:09:51
Dernière modification le : vendredi 22 décembre 2023-15:16:05
Citer
Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart. Constrained Expressions and their Derivatives. Fundamenta Informaticae, 2016, 149 (3), pp.311--361. ⟨10.3233/FI-2016-1451⟩. ⟨hal-02335271⟩
Collections
16
Consultations
0
Téléchargements