Hdr Année : 2024

Recent Results on Quantitative Equational Logic

Résultats Récents sur la logique Équationnelle Quantitative

Fichier principal
Vignette du fichier
hdr.pdf (1) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-04840941 , version 1 (16-12-2024)

Identifiants

  • HAL Id : tel-04840941 , version 1

Citer

Matteo Mio. Recent Results on Quantitative Equational Logic. Computer Science [cs]. Ecole normale supérieure de Lyon, 2024. ⟨tel-04840941⟩
14 Consultations
8 Téléchargements

Partager

More