Journals in DBLP

Theor. Comput. Sci.
2000, volume: 249, number: 1

1. Klaus Keimel, Michael W. Mislove, Constantine Tsinakis
   Modern Algebra - Foreword. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:249, n:1, pp:1- [Journal]
   
2. Jan J. M. M. Rutten
   Universal coalgebra: a theory of systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:249, n:1, pp:3-80 [Journal]
   
3. Chantal Berline
   From computation to foundations via functions and application: The -calculus and its webbed models. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:249, n:1, pp:81-161 [Journal]
   
4. Frank J. Oles
   An application of lattice theory to knowledge representation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:249, n:1, pp:163-196 [Journal]
   
5. Antonino Salibra
   On the algebraic models of lambda calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:249, n:1, pp:197-240 [Journal]