Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2003, volume: 82, number: 1

1. Jirí Adámek
   On a Description of Terminal Coalgebras and Iterative Theories. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
2. Ralph Matthes, Tarmo Uustalu
   Substitution in Non-wellfounded Syntax with Variable Binding. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
3. Till Mossakowski, Markus Roggenbach, Lutz Schröder
   CoCASL at Work -- Modelling Process Algebra. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
4. Alessandra Palmigiano
   Coalgebraic Semantics for Positive Modal Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
5. Dirk Pattinson
   Computable Functions on Final Coalgebras. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
6. John Power
   Towards a theory of mathematical operational semantics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
7. Vaughan R. Pratt
   Comonoids in chu: a large cartesian closed sibling of topological spaces. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
8. Grigore Rosu
   Inductive Behavioral Proofs by Unhiding. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
9. Jan Rothe, Dragan Masulovic
   Modal Logics for Observation Equivalences. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
   
10. Clemens Kupke, Alexander Kurz, Yde Venema
    Stone Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
11. Jan Komenda
    Coinduction in Control of Partially Observed Discrete-Event Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
12. Falk Bartels, Ana Sokolova, Erik P. de Vink
    A hierarchy of probabilistic system types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
13. Alexandru Baltag
    A Coalgebraic Semantics for Epistemic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
14. Luís Soares Barbosa, José Nuno Oliveira
    State-based Components Made Generic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
15. Daniela Cancila, Furio Honsell, Marina Lenisa
    Generalized Coiteration Schemata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
16. Hubie Chen, Riccardo Pucella
    A Coalgebraic Approach to Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
17. Corina Cîrstea
    On Expressivity and Compositionality in Logics for Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
18. H. Peter Gumm
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
19. Bart Jacobs, Jesse Hughes
    Simulations in Coalgebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
    
20. Luigi Santocanale
    Logical Construction of Final Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]