16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Proceedings - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2017

16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Proceedings

Peter Höfner
  • Fonction : Auteur
  • PersonId : 962172
National ICT Australia [Sydney]
Damien Pous
Preuves et Langages
Laboratoire de l'Informatique du Parallélisme
CV
Georg Struth
  • Fonction : Auteur
Department of Computer Science [Sheffield]

Domaines

Informatique [cs]

Damien Pous  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02147353

Soumis le : mardi 4 juin 2019-16:04:08

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

Fichier non déposé

Dates et versions

hal-02147353 , version 1 (04-06-2019)

Identifiants

  • HAL Id : hal-02147353 , version 1

Citer

Peter Höfner, Damien Pous, Georg Struth. 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Proceedings. Peter Hôfner, Damien Pous, Georg Struth. 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), 2017, Lyon, France. 10226, Springer, 2017, Proceedings of RAMiCS 2017. ⟨hal-02147353⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

Gmail Facebook X LinkedIn More