Journals in DBLP

J. Comput. Syst. Sci.
1982, volume: 25, number: 2

1. Stephen R. Mahaney
   Sparse Complete Sets of NP: Solution of a Conjecture of Berman and Hartmanis. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1982, v:25, n:2, pp:130-143 [Journal]
   
2. David Harel, Dexter Kozen, Rohit Parikh
   Process Logic: Expressiveness, Decidability, Completeness. [Citation Graph (1, 0)][DBLP]
   J. Comput. Syst. Sci., 1982, v:25, n:2, pp:144-170 [Journal]
   
3. Philippe Flajolet, Andrew M. Odlyzko
   The Average Height of Binary Trees and Other Simple Trees. [Citation Graph (1, 0)][DBLP]
   J. Comput. Syst. Sci., 1982, v:25, n:2, pp:171-213 [Journal]
   
4. Jon Louis Bentley, Donna J. Brown
   A General Class of Resource Tradeoffs. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1982, v:25, n:2, pp:214-238 [Journal]
   
5. Gérard P. Huet, Jean-Marie Hullot
   Proofs by Induction in Equational Theories with Constructors. [Citation Graph (0, 0)][DBLP]
   J. Comput. Syst. Sci., 1982, v:25, n:2, pp:239-266 [Journal]