Journals in DBLP

Inf. Comput.
1996, volume: 125, number: 2

1. Masami Hagiya
   Preface. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:125, n:2, pp:77- [Journal]
   
2. Martín Abadi, Luca Cardelli
   A Theory of Primitive Objects: Untyped and First-Order Systems. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:125, n:2, pp:78-102 [Journal]
   
3. Franco Barbanera, Stefano Berardi
   A Symmetric Lambda Calculus for Classical Program Extraction. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:125, n:2, pp:103-117 [Journal]
   
4. Ursula Goltz, Roberto Gorrieri, Arend Rensink
   Comparing Syntactic and Semantic Sction Refinement. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:125, n:2, pp:118-143 [Journal]
   
5. Masako Takahashi, Yohji Akama, Sachio Hirokawa
   Normal Proofs and Their Grammar. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:125, n:2, pp:144-153 [Journal]
   
6. David A. Plaisted, Andrea Sattler-Klein
   Proof Lengths for Equational Completion. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1996, v:125, n:2, pp:154-170 [Journal]