ask others

13th CMCS 2016: Eindhoven, The Netherlands (Part of ETAPS 2016)

> Home > Conferences and Workshops > CMCS
> Home > Conferences and Workshops > ETAPS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/2016
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/2016
Ichiro Hasuo:
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. Lecture Notes in Computer Science 9608, Springer 2016, ISBN 978-3-319-40369-4
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/Adamek16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/Adamek16
Jirí Adámek:
Fixed Points of Functors - A Short Abstract. 1-4
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/Abel16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/Abel16
Andreas Abel:
Compositional Coinduction with Sized Types. 5-10
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/BonchiSZ16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/BonchiSZ16
Filippo Bonchi, Pawel Sobocinski, Fabio Zanasi:
Lawvere Categories as Composed PROPs. 11-32
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/ZarradG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/ZarradG16
Mehdi Zarrad, H. Peter Gumm:
Transitivity and Difunctionality of Bisimulations. 33-52
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/Jacobs16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/Jacobs16
Bart Jacobs:
Affine Monads and Side-Effect-Freeness. 53-72
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/SalamancaBR16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/SalamancaBR16
Julian Salamanca, Marcello M. Bonsangue, Jurriaan Rot:
Duality of Equations and Coequations via Contravariant Adjunctions. 73-93
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/KomendantskayaP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/KomendantskayaP16
Ekaterina Komendantskaya, John Power:
Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness. 94-113
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/Winter16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/Winter16
Joost Winter:
Product Rules and Distributive Laws. 114-135
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/BabusK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/BabusK16
Octavian Babus, Alexander Kurz:
On the Logic of Generalised Metric Spaces. 136-155
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/Sprunger16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/Sprunger16
David Sprunger:
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors. 156-173
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/Dahlqvist16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/Dahlqvist16
Fredrik Dahlqvist:
Coalgebraic Completeness-via-Canonicity - Principles and Applications. 174-194
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/Santocanale16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/Santocanale16
Luigi Santocanale:
Relational Lattices via Duality. 195-215
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmcs/Ivanov16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmcs/Ivanov16
Ievgen Ivanov:
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems. 216-234

maintained by

, founded at