Journals in DBLP

Theor. Comput. Sci.
1984, volume: 30, number:

1. Jan A. Bergstra, Jan Willem Klop
   Proving Program Inclusion Using Hoare's Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:30, n:, pp:1-48 [Journal]
   
2. Ernst-Rüdiger Olderog
   Correctnes of Programs with Pascal-Like Procedures without Global Variables. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:30, n:, pp:49-90 [Journal]
   
3. Didier Austry, Gérard Boudol
   Algèbre de Processus et Synchronisation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:30, n:, pp:91-131 [Journal]
   
4. Robert de Simone
   On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:30, n:, pp:133-138 [Journal]
   
5. Herbert Klaeren
   A Contructive Method for Abstract Algebraic Software Specification. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:30, n:, pp:139-204 [Journal]
   
6. Jean-Pierre Braquelaire, Bruno Courcelle
   The Solutions of Two Star-Height Problems for Regular Trees. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:30, n:, pp:205-239 [Journal]
   
7. Hartmann J. Genrich, P. S. Thiagarajan
   A Theory of Bipolar Synchronization Schemes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:30, n:, pp:241-318 [Journal]
   
8. Larry Denenberg, Harry R. Lewis
   The Complexity of the Satisfiability Problem for Krom Formulas. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1984, v:30, n:, pp:319-341 [Journal]