Article Dans Une Revue
International Journal of Foundations of Computer Science
Année : 2020
Cyril Nicaud : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04315975
Soumis le : jeudi 30 novembre 2023-14:46:30
Dernière modification le : samedi 16 décembre 2023-03:42:49
Dates et versions
Identifiants
- HAL Id : hal-04315975 , version 1
Citer
Florent Koechlin, Cyril Nicaud, Pablo Rotondo. Simplifications of Uniform Expressions Specified by Systems. International Journal of Foundations of Computer Science, 2020, 32 (6), pp.733-760. ⟨hal-04315975⟩
16
Consultations
0
Téléchargements