15th International Workshop on Coalgebraic Methods in Computer Science

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020. The conference was held as several online events in September and Oct...

Descripción completa

Detalles Bibliográficos
Autores principales: Petrişan, Daniela, Rot, Jurriaan
Lenguaje:eng
Publicado: Springer 2020
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-3-030-57201-3
http://cds.cern.ch/record/2729517
_version_ 1780966417363894272
author Petrişan, Daniela
Rot, Jurriaan
author_facet Petrişan, Daniela
Rot, Jurriaan
author_sort Petrişan, Daniela
collection CERN
description This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020. The conference was held as several online events in September and October due to the COVID-19 pandemic. The 9 revised full papers were carefully reviewed and selected from 13 submissions. Also included is one invited talk. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
id cern-2729517
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2020
publisher Springer
record_format invenio
spelling cern-27295172021-04-22T06:30:17Zdoi:10.1007/978-3-030-57201-3http://cds.cern.ch/record/2729517engPetrişan, DanielaRot, Jurriaan15th International Workshop on Coalgebraic Methods in Computer ScienceMathematical Physics and MathematicsThis book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2020, colocated with ETAPS 2020, held in Dublin, Ireland, in April 2020. The conference was held as several online events in September and October due to the COVID-19 pandemic. The 9 revised full papers were carefully reviewed and selected from 13 submissions. Also included is one invited talk. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.Springeroai:cds.cern.ch:27295172020
spellingShingle Mathematical Physics and Mathematics
Petrişan, Daniela
Rot, Jurriaan
15th International Workshop on Coalgebraic Methods in Computer Science
title 15th International Workshop on Coalgebraic Methods in Computer Science
title_full 15th International Workshop on Coalgebraic Methods in Computer Science
title_fullStr 15th International Workshop on Coalgebraic Methods in Computer Science
title_full_unstemmed 15th International Workshop on Coalgebraic Methods in Computer Science
title_short 15th International Workshop on Coalgebraic Methods in Computer Science
title_sort 15th international workshop on coalgebraic methods in computer science
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-3-030-57201-3
http://cds.cern.ch/record/2729517
work_keys_str_mv AT petrisandaniela 15thinternationalworkshoponcoalgebraicmethodsincomputerscience
AT rotjurriaan 15thinternationalworkshoponcoalgebraicmethodsincomputerscience

Ejemplares similares