Logical Methods in Computer Science, Special Issue 10

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

Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007" [CALCO 2007]

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Rutten08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Rutten08
Jan J. M. M. Rutten:
Rational Streams Coalgebraically.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BaldanCEHK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BaldanCEHK08
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König:
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Schroder08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Schroder08
Lutz Schröder:
Bootstrapping Inductive and Coinductive Types in HasCASL.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0901-4430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0901-4430
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit:
Neighbourhood Structures: Bisimilarity and Basic Model Theory.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0908-2793
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0908-2793
Dexter Kozen, Nicholas Ruozzi:
Applications of Metric Coinduction.

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.