Buch, Englisch, Band 9608, 235 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 382 g
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Buch, Englisch, Band 9608, 235 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 382 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-40369-4
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Geisteswissenschaften Design Interface Design, Interaktionsdesign, Application Design
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Informatik Mensch-Maschine-Interaktion User Interface Design & Benutzerfreundlichkeit
Weitere Infos & Material
Fixed Points of Functors - A Survey.- Compositional Coinduction with Sized Types.- Lawvere Theories as Composed PROPs.- Transitivity and Difunctionality of Bisimulations.- Affine Monads and Side-Effect-Freeness.- Duality of Equations and Coequations via Contravariant Adjunctions.- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.- Product Rules and Distributive Laws.- On the Logic of Generalised Metric Spaces.- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors.- Coalgebraic Completeness-via-Canonicity: Principles and Applications.- Relational Lattices via Duality.- On Local Characterization of Global Timed Bisimulation for Abstract.