Logical Methods in Computer Science, Special Issue 16

> Home > Journals > Logical Methods in Computer Science

Algebra and Coalgebra in Computer Science 2009 [CALCO 2009]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4223
Sam Staton:
Relating coalgebraic notions of bisimulation.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4594
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4594
Tobias Heindel, Pawel Sobocinski:
Being Van Kampen is a universal property.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1101-4929
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-4929
Jirí Adámek, Stefan Milius, Jirí Velebil:
Semantics of Higher-Order Recursion Schemes.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1103-0437
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-0437
Filippo Bonchi, Ugo Montanari:
Symbolic and Asynchronous Semantics via Normalized Coalgebras.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2828
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2828
Nick Bezhanishvili, Mai Gehrke:
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-1351
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1351
Furio Honsell, Marina Lenisa:
Conway games, algebraically and coalgebraically.

a service of

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.