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 : jeudi 19 décembre 2024-16:50:04
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⟩
23
Consultations
0
Téléchargements