Journals in DBLP

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

1. Manfred Broy
   Algebraic specification of reactive systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:239, n:1, pp:3-40 [Journal]
   
2. Bart Jacobs
   Object-oriented hybrid systems of coalgebras plus monoid actions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:239, n:1, pp:41-95 [Journal]
   
3. Irek Ulidowski
   Finite axiom systems for testing preorder and De Simone process languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:239, n:1, pp:97-139 [Journal]
   
4. M. R. K. Krishna Rao
   Some characteristics of strong innermost normalization. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:239, n:1, pp:141-164 [Journal]
   
5. E. Pascal Gribomont
   Simplification of boolean verification conditions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:239, n:1, pp:165-185 [Journal]