Journals in DBLP

Theor. Comput. Sci.
1991, volume: 83, number: 1

1. Val Tannen, Jean H. Gallier
   Polymorphic Rewriting Conserves Algebraic Strong Normalization. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:83, n:1, pp:3-28 [Journal]
   
2. Felice Cardone
   Recursive Types for Fun. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:83, n:1, pp:29-56 [Journal]
   
3. Loïc Colson
   About Primitive Recursive Algorithms. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:83, n:1, pp:57-69 [Journal]
   
4. Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted
   Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:83, n:1, pp:71-96 [Journal]
   
5. Zohar Manna, Amir Pnueli
   Completing the Temporal Picture. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:83, n:1, pp:91-130 [Journal]
   
6. Francesco Parisi-Presicce
   Foundations of Rule-Based Design of Modular Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:83, n:1, pp:131-155 [Journal]
   
7. Glynn Winskel
   A Note on Model Checking the Modal nu-Calculus. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:83, n:1, pp:157-167 [Journal]