Electronic Notes in Theoretical Computer Science, Volume 33

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 33, 2000

CMCS'2000 Coalgebraic Methods in Computer Science
Berlin, Germany, 25-26 March 2000

- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Reichel00
- ask others
Horst Reichel:
Preface. 1-2
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Angelsmark00
- ask others
Ola Angelsmark:
Constraints, Adjunctions and (Co)algebras. 3-12
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Baldamus00a
- ask others
Michael Baldamus:
Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus. 13-41
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Baltag00
- ask others
Alexandru Baltag:
A Logic for Coalgebraic Simulation. 42-60
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/BussR00
- ask others
Samuel R. Buss, Grigore Rosu:
Incompleteness of Behavioral Logics. 61-79
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Cirstea00
- ask others
Corina Cîrstea:
An Algebra-Coalgebra Framework for System Specification. 80-110
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/GummS00
- ask others
H. Peter Gumm, Tobias Schröder:
Coalgebraic structure from weak limit preserving functors. 111-131
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/HonsellL00
- ask others
Furio Honsell, Marina Lenisa:
Coalgebraic Coinduction in (Hyper)set-theoretic Categories. 132-159
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Jacobs00
- ask others
Bart Jacobs:
Towards a Duality Result in Coalgebraic Modal Logic. 160-195
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/KurzP00
- ask others
Alexander Kurz, Dirk Pattinson:
Notes on Coalgebras, Cofibrations and Concurrency. 196-229
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/LenisaPW00
- ask others
Marina Lenisa, John Power, Hiroshi Watanabe:
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. 230-260
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Monteiro00
- ask others
Luís Monteiro:
Observation systems. 261-275
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Poll00
- ask others
Erik Poll:
A Coalgebraic Semantics of Subtyping. 276-293
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Rossiger00
- ask others
Martin Rößiger:
Coalgebras and Modal Logic. 294-315
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Tews00
- ask others
Hendrik Tews:
Coalgebras for Binary Methods. 316
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Wolter00
- ask others
Uwe Wolter:
On Corelations, Cokernels, and Coequations. 317-336
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Worrel00
- ask others
James Worrell:
Coinduction for recursive data types: partial orders, metric spaces and Omega-categories. 337-356