Article Dans Une Revue
International Journal of Foundations of Computer Science
Année : 2020
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 16 avril 2026-08:42:16
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. ⟨10.1142/s0129054121420065⟩. ⟨hal-04315975⟩
Collections
82
Consultations
0
Téléchargements