Simplifications of Uniform Expressions Specified by Systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Foundations of Computer Science Année : 2020

Simplifications of Uniform Expressions Specified by Systems

Cyril Nicaud
Pablo Rotondo
  • Fonction : Auteur
  • PersonId : 1091318
Fichier non déposé

Dates et versions

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

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

Partager

Gmail Facebook X LinkedIn More