Buch, Englisch, Band 12094, 201 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 341 g
15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25¿26, 2020, Proceedings
Buch, Englisch, Band 12094, 201 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 341 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-030-57200-6
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
The Theory of Universal Graphs for Games: Past and Future.- Approximate coalgebra homomorphisms and approximate solutions.- Duality for Instantial Neighbourhood Logic via Coalgebra.- Free-algebra functors from a coalgebraic perspective.- Learning Automata with Side-Effects.- De Finetti's Construction as a Categorical Limit.- Injective Objects and Fibered Codensity Liftings.- Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.- A categorical approach to secure compilation.- Semantics for rst-order a ne inductive datatypes via slice categories.