Coalgebraic Methods in Computer Science - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2020

Coalgebraic Methods in Computer Science

Daniela Petrişan
Institut de Recherche en Informatique Fondamentale
Jurriaan Rot
  • Fonction : Auteur
  • PersonId : 1003950
Radboud University [Nijmegen]

Résumé

Book Front Matter of LNCS 12094

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
BFM_12094.pdf (139.55 Ko) Télécharger le fichier
Origine : Accord explicite pour ce dépôt
Licence : CC BY - Paternité

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03232344

Soumis le : lundi 3 juillet 2023-17:21:50

Dernière modification le : mercredi 27 mars 2024-15:14:50

Archivage à long terme le : jeudi 5 octobre 2023-09:50:03

Télécharger pour visualiser

Dates et versions

hal-03232344 , version 1 (03-07-2023)

Licence

Paternité

Identifiants

Citer

Daniela Petrişan, Jurriaan Rot. Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings. Springer International Publishing, LNCS-12094, 2020, Lecture Notes in Computer Science, 978-3-030-57200-6. ⟨10.1007/978-3-030-57201-3⟩. ⟨hal-03232344⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-WG1-3 IFIP-CMCS UP-SCIENCES IFIP-LNCS-12094 IRIF
33 Consultations
20 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More