Article Dans Une Revue International Journal of Foundations of Computer Science Année : 2020

Simplifications of Uniform Expressions Specified by Systems

Fichier non déposé

Dates et versions

hal-04315975 , version 1 (30-11-2023)

Identifiants

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⟩
82 Consultations
0 Téléchargements

Altmetric

Partager

  • More