Logical Methods in Computer Science, Special Issue 16

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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.

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.