Journals in DBLP

Theor. Comput. Sci.
1998, volume: 190, number: 1

1. Maribel Fernández, Ian Mackie
   Interaction Nets and Term-Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:190, n:1, pp:3-39 [Journal]
   
2. Roope Kaivola
   Axiomatising Extended Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:190, n:1, pp:41-60 [Journal]
   
3. Björn Lisper
   Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:190, n:1, pp:61-85 [Journal]
   
4. Allan Cheng, Mogens Nielsen
   Open Maps, Behavioural Equivalences, and Congruences. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1998, v:190, n:1, pp:87-112 [Journal]