Journals in DBLP

Int. J. Found. Comput. Sci.
1991, volume: 2, number: 1

1. Martín Abadi, Benjamin C. Pierce, Gordon D. Plotkin
   Faithful Ideal Models for Recursive Polymorphic Types. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 1991, v:2, n:1, pp:1-21 [Journal]
   
2. Thomas Wilmes
   Functional Production Systems Viewed as Grammars. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 1991, v:2, n:1, pp:23-41 [Journal]
   
3. Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk
   Uniform Algebraic Specifications of Finite Sets with Equality. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 1991, v:2, n:1, pp:43-65 [Journal]
   
4. Jin-yi Cai, Merrick L. Furst
   PSPACE Survives Constant-Width Bottlenecks. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 1991, v:2, n:1, pp:67-76 [Journal]
   
5. Viktória Zankó
   #P-Completeness via Many-One Reductions. [Citation Graph (0, 0)][DBLP]
   Int. J. Found. Comput. Sci., 1991, v:2, n:1, pp:77-82 [Journal]