Journals in DBLP

Inf. Comput.
1989, volume: 80, number: 2

1. Jan Willem Klop, Roel C. de Vrijer
   Unique Normal Forms for Lambda Calculus with Surjective Pairing [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1989, v:80, n:2, pp:97-113 [Journal]
   
2. Joost Engelfriet
   The Power to Two-Way Deterministic Checking Stack Automata [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1989, v:80, n:2, pp:114-120 [Journal]
   
3. Gilles Bernot
   Correctness Proofs for Abstract Implementation [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1989, v:80, n:2, pp:121-151 [Journal]
   
4. Vijay V. Vazirani
   NC Algorithms for Computing the Number of Perfect Matchings in K_3,3-Free Graphs and Related Problems [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1989, v:80, n:2, pp:152-164 [Journal]
   
5. Patrick Cousot, Radhia Cousot
   A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1989, v:80, n:2, pp:165-191 [Journal]