Relational and algebraic methods in computer science - Archive ouverte HAL
N°Spécial De Revue/Special Issue Journal of Logical and Algebraic Methods in Programming Année : 2019

Relational and algebraic methods in computer science

Domaines

Logique en informatique [cs.LO]

Damien Pous  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02331045

Soumis le : jeudi 24 octobre 2019-11:33:26

Dernière modification le : jeudi 11 mai 2023-11:56:10

Fichier non déposé

Dates et versions

hal-02331045 , version 1 (24-10-2019)

Identifiants

Citer

Peter Höfner, Damien Pous, Georg Struth. Relational and algebraic methods in computer science. Journal of Logical and Algebraic Methods in Programming, 106, pp.198-199, 2019, ⟨10.1016/j.jlamp.2019.05.005⟩. ⟨hal-02331045⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Altmetric

Partager

More