Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2000, volume: 33, number:

1. Ola Angelsmark
   Constraints, Adjunctions and (Co)algebras. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
2. Uwe Wolter
   On Corelations, Cokernels, and Coequations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
3. Hendrik Tews
   Coalgebras for Binary Methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
4. Martin Rößiger
   Coalgebras and Modal Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
5. Horst Reichel
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
6. Erik Poll
   A Coalgebraic Semantics of Subtyping. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
7. Luís Monteiro
   Observation systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
8. Marina Lenisa, John Power, Hiroshi Watanabe
   Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
9. Alexander Kurz, Dirk Pattinson
   Notes on Coalgebras, Cofibrations and Concurrency. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
   
10. Bart Jacobs
    Towards a Duality Result in Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
    
11. Furio Honsell, Marina Lenisa
    Coalgebraic Coinduction in (Hyper)set-theoretic Categories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
    
12. H. Peter Gumm, Tobias Schröder
    Coalgebraic structure from weak limit preserving functors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
    
13. Corina Cîrstea
    An Algebra-Coalgebra Framework for System Specification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
    
14. Samuel R. Buss, Grigore Rosu
    Incompleteness of Behavioral Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
    
15. Alexandru Baltag
    A Logic for Coalgebraic Simulation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
    
16. Michael Baldamus
    Compositional Constructor Interpretation over Coalgebraic Models for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
    
17. James Worrell
    Coinduction for recursive data types: partial orders, metric spaces and Omega-categories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]