default search action

combined dblp search
author search
venue search
publication search

ask others

5th CMCS 2002: Grenoble, France (Part of ETAPS 2002)

> 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
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/cmcs/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/2002
Lawrence S. Moss:
Coalgebraic Methods in Computer Science, CMCS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(1), Elsevier 2002
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AdamekMV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AdamekMV02
Jirí Adámek, Stefan Milius, Jirí Velebil:
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors. 1-28
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bartels02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bartels02
Falk Bartels:
GSOS for Probabilistic Transition Systems. 29-53
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Cirstea02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Cirstea02
Corina Cîrstea:
Institutionalizing Coalgebraic Modal Logic. 54-70
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GhaniLM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GhaniLM02
Neil Ghani, Christoph Lüth, Federico De Marchi:
Coalgebraic Monads. 71-91
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hughes02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hughes02
Jesse Hughes:
Some Co-Birkhoff Type Theorems. 92-111
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Jacobs02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Jacobs02
Bart Jacobs:
Comprehension for Coalgebras. 112-134
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KurzP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KurzP02
Alexander Kurz, Dirk Pattinson:
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. 135-155
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KurzR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KurzR02
Alexander Kurz, Jirí Rosický:
Modal Predicates and Co-equations. 156-175
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Masulovic02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Masulovic02
Dragan Masulovic:
Towards Coalgebraic Behaviourism. 176-196
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MeseguerR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MeseguerR02
José Meseguer, Grigore Rosu:
Towards Behavioral Maude: Behavioral Membership Equational Logic. 197-253
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Palmigiano02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Palmigiano02
Alessandra Palmigiano:
Abstract Logics as Dialgebras. 254-269
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Rothe02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Rothe02
Jan Rothe:
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras. 270-285
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Rutten02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Rutten02
Jan J. M. M. Rutten:
Coinductive Counting: Bisimulation in Enumerative Combinatorics. 286-304
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Santocanale02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Santocanale02
Luigi Santocanale:
From Parity Games to Circular Proofs. 305-316
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Tews02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Tews02
Hendrik Tews:
Greatest Bisimulations for Binary Methods. 317-336
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Watanabe02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Watanabe02
Hiroshi Watanabe:
Well-behaved Translations between Structural Operational Semantics. 337-357
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Worrell02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Worrell02
James Worrell:
A Note on Coalgebras and Presheaves. 358-364
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Moss02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Moss02
Lawrence S. Moss:
Preface. 365-366

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.