default search action

combined dblp search
author search
venue search
publication search

ask others

9th CMCS 2008: Budapest, Hungary

> Home > Conferences and Workshops > CMCS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/cmcs/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/2008
Jirí Adámek, Clemens Kupke:
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008. Electronic Notes in Theoretical Computer Science 203(5), Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AdamekK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AdamekK08
Jirí Adámek, Clemens Kupke:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BadouelT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BadouelT08
Éric Badouel, Maurice Tchoupé Tchendji:
Merging Hierarchically-Structured Documents in Workflow Systems. 3-24
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BertotK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BertotK08
Yves Bertot, Ekaterina Komendantskaya:
Inductive and Coinductive Components of Corecursive Functions in Coq. 25-47
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CianciaM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CianciaM08
Vincenzo Ciancia, Ugo Montanari:
A Name Abstraction Functor for Named Sets. 49-70
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CirsteaS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CirsteaS08
Corina Cîrstea, Mehrnoosh Sadrzadeh:
Modular Games for Coalgebraic Fixed Point Logics. 71-92
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Fohry08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Fohry08
Egbert Fohry:
On Products of Transition Systems. 93-107
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hansen08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hansen08
Helle Hvid Hansen:
Coalgebraising Subsequential Transducers. 109-129
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Jacobs08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jacobs08
Bart Jacobs:
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. 131-152
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KupkeR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KupkeR08
Clemens Kupke, Jan J. M. M. Rutten:
Observational Coalgebras and Complete Sets of Co-operations. 153-174
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KurzP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KurzP08
Alexander Kurz, Daniela Petrisan:
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. 175-194
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Leal08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Leal08
Raul Andres Leal:
Predicate Liftings Versus Nabla Modalities. 195-220
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PattinsonS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PattinsonS08
Dirk Pattinson, Lutz Schröder:
Admissibility of Cut in Coalgebraic Logics. 221-241
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Schwencke08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Schwencke08
Daniel Schwencke:
Coequational Logic for Finitary Functors. 243-262
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/UustaluV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/UustaluV08
Tarmo Uustalu, Varmo Vene:
Comonadic Notions of Computation. 263-284

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.