Coalgebraic Methods In Computer Science: 13th Ifip Wg 1.3 International Workshop, Cmcs 2016, Colocated With Etaps 2016, Eindhoven, The Netherlands, ... Papers (lecture Notes In Computer Science)
by Ichiro Hasuo /
2016 / English / PDF
7.6 MB Download
This book constitutes the thoroughly refereed
post-conference proceedings of the 13th International
Workshop on Coalgebraic Methods in Computer Science, CMCS
2016, colocated with ETAPS 2016, held in Eindhoven, The
Netherlands, in April 2016.
This book constitutes the thoroughly refereed
post-conference proceedings of the 13th International
Workshop on Coalgebraic Methods in Computer Science, CMCS
2016, colocated with ETAPS 2016, held in Eindhoven, The
Netherlands, in April 2016.
The 10 revised full papers were carefully reviewed and selected
from 13 submissions. Also included are an invited paper and
two keynote talks. The papers cover a wide range of topics
in the theory, logics and applications of coalgebras.
The 10 revised full papers were carefully reviewed and selected
from 13 submissions. Also included are an invited paper and
two keynote talks. The papers cover a wide range of topics
in the theory, logics and applications of coalgebras.
