Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning

Matteo Mio
École normale supérieure de Lyon
Preuves et Langages
Laboratoire de l'Informatique du Parallélisme
Ralph Sarkis
  • Fonction : Auteur
Valeria Vignudelli
  • Fonction : Auteur

Domaines

Logique en informatique [cs.LO]

Matteo Mio  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03790273

Soumis le : mercredi 28 septembre 2022-10:54:39

Dernière modification le : lundi 16 décembre 2024-14:28:15

Consulter le texte intégral

Dates et versions

hal-03790273 , version 1 (28-09-2022)

Identifiants

Citer

Matteo Mio, Ralph Sarkis, Valeria Vignudelli. Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa Israel, France. pp.1-13, ⟨10.1145/3531130.3533366⟩. ⟨hal-03790273⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 UDL ANR
28 Consultations
0 Téléchargements

Altmetric

Partager

More