Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2002, volume: 65, number: 1

1. Jirí Adámek, Stefan Milius, Jiri Velebil
   Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
2. Hiroshi Watanabe
   Well-behaved Translations between Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
3. Hendrik Tews
   Greatest Bisimulations for Binary Methods. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
4. Luigi Santocanale
   From Parity Games to Circular Proofs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
5. Jan J. M. M. Rutten
   Coinductive Counting: Bisimulation in Enumerative Combinatorics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
6. Jan Rothe
   A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
7. Alessandra Palmigiano
   Abstract Logics as Dialgebras. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
8. Lawrence S. Moss
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
9. José Meseguer, Grigore Rosu
   Towards Behavioral Maude: Behavioral Membership Equational Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
   
10. Dragan Masulovic
    Towards Coalgebraic Behaviourism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
    
11. Alexander Kurz, Jirí Rosický
    Modal Predicates and Co-equations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
    
12. Alexander Kurz, Dirk Pattinson
    Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
    
13. Bart Jacobs
    Comprehension for Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
    
14. Jesse Hughes
    Some Co-Birkhoff Type Theorems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
    
15. Neil Ghani, Christoph Lüth, Federico De Marchi
    Coalgebraic Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
    
16. Corina Cîrstea
    Institutionalizing Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
    
17. Falk Bartels
    GSOS for Probabilistic Transition Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
    
18. James Worrell
    A Note on Coalgebras and Presheaves. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]