Coalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers

Detalles Bibliográficos
Autor principal: Hasuo, Ichiro
Lenguaje:eng
Publicado: Springer International Publishing AG 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2764239
_version_ 1780971087323987968
author Hasuo, Ichiro
author_facet Hasuo, Ichiro
author_sort Hasuo, Ichiro
collection CERN
id cern-2764239
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Springer International Publishing AG
record_format invenio
spelling cern-27642392021-04-21T16:38:14Zhttp://cds.cern.ch/record/2764239engHasuo, IchiroCoalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27642392016
spellingShingle XX
Hasuo, Ichiro
Coalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers
title Coalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers
title_full Coalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers
title_fullStr Coalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers
title_full_unstemmed Coalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers
title_short Coalgebraic methods in computer science: 13th IFIP WG 1. 3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, revised selected papers
title_sort coalgebraic methods in computer science: 13th ifip wg 1. 3 international workshop, cmcs 2016, colocated with etaps 2016, eindhoven, the netherlands, april 2-3, 2016, revised selected papers
topic XX
url http://cds.cern.ch/record/2764239
work_keys_str_mv AT hasuoichiro coalgebraicmethodsincomputerscience13thifipwg13internationalworkshopcmcs2016colocatedwithetaps2016eindhoventhenetherlandsapril232016revisedselectedpapers

Ejemplares similares