default search action

combined dblp search
author search
venue search
publication search

ask others

15th CMCS 2020: Dublin, Ireland (Part of ETAPS 2020)

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/2020
Daniela Petrisan, Jurriaan Rot:
Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12094, Springer 2020, ISBN 978-3-030-57200-6
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/Fijalkow20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Fijalkow20
Nathanaël Fijalkow:
The Theory of Universal Graphs for Games: Past and Future. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/Adamek20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Adamek20
Jirí Adámek:
Approximate Coalgebra Homomorphisms and Approximate Solutions. 11-31
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/BezhanishviliEG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/BezhanishviliEG20
Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot:
Duality for Instantial Neighbourhood Logic via Coalgebra. 32-54
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/Gumm20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Gumm20
H. Peter Gumm:
Free-Algebra Functors from a Coalgebraic Perspective. 55-67
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/HeerdtS020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/HeerdtS020
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva:
Learning Automata with Side-Effects. 68-89
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/0001S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/0001S20
Bart Jacobs, Sam Staton:
De Finetti's Construction as a Categorical Limit. 90-111
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/Komorida20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Komorida20
Yuichi Komorida:
Injective Objects and Fibered Codensity Liftings. 112-132
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/0001MS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/0001MS20
Barbara König, Christina Mika-Michalski, Lutz Schröder:
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. 133-154
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/0001NDP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/0001NDP20
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens:
A Categorical Approach to Secure Compilation. 155-179
- view
  authority control:
- export record
  dblp key:
  - conf/cmcs/Zamdzhiev20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Zamdzhiev20
Vladimir Zamdzhiev:
Semantics for First-Order Affine Inductive Data Types via Slice Categories. 180-200

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.