Coalgebraic Methods in Computer Science - Coalgebraic Methods in Computer Science Access content directly
Books Year : 2020

Coalgebraic Methods in Computer Science

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

Abstract

Book Front Matter of LNCS 12094

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
BFM_12094.pdf (139.55 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
licence : CC BY - Attribution

Hal Ifip  : Connect in order to contact the contributor

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

Submitted on : Monday, July 3, 2023-5:21:50 PM

Last modification on : Wednesday, March 27, 2024-3:14:50 PM

Long-term archiving on: Thursday, October 5, 2023-9:50:03 AM

Download

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩

Export

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 View
22 Download

Altmetric

Share

Gmail Facebook X LinkedIn More