Cargando…
Coalgebraic methods in computer science: 14th IFIP WG 1. 3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, revised selected papers
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2018
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2761590 |
_version_ | 1780970555605778432 |
---|---|
author | Cîrstea, Corina |
author_facet | Cîrstea, Corina |
author_sort | Cîrstea, Corina |
collection | CERN |
id | cern-2761590 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2018 |
publisher | Springer International Publishing AG |
record_format | invenio |
spelling | cern-27615902021-04-21T16:39:32Zhttp://cds.cern.ch/record/2761590engCîrstea, CorinaCoalgebraic methods in computer science: 14th IFIP WG 1. 3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27615902018 |
spellingShingle | XX Cîrstea, Corina Coalgebraic methods in computer science: 14th IFIP WG 1. 3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, revised selected papers |
title | Coalgebraic methods in computer science: 14th IFIP WG 1. 3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, revised selected papers |
title_full | Coalgebraic methods in computer science: 14th IFIP WG 1. 3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, revised selected papers |
title_fullStr | Coalgebraic methods in computer science: 14th IFIP WG 1. 3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, revised selected papers |
title_full_unstemmed | Coalgebraic methods in computer science: 14th IFIP WG 1. 3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, revised selected papers |
title_short | Coalgebraic methods in computer science: 14th IFIP WG 1. 3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, revised selected papers |
title_sort | coalgebraic methods in computer science: 14th ifip wg 1. 3 international workshop, cmcs 2018, colocated with etaps 2018, thessaloniki, greece, april 14-15, 2018, revised selected papers |
topic | XX |
url | http://cds.cern.ch/record/2761590 |
work_keys_str_mv | AT cirsteacorina coalgebraicmethodsincomputerscience14thifipwg13internationalworkshopcmcs2018colocatedwithetaps2018thessalonikigreeceapril14152018revisedselectedpapers |