Journals in DBLP

Information and Control
1985, volume: 65, number: 2/3

1. Richard Statman
   Logical Relations and the Typed lambda-Calculus [Citation Graph (0, 0)][DBLP]
   Information and Control, 1985, v:65, n:2/3, pp:85-97 [Journal]
   
2. A. J. Kfoury
   Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic) [Citation Graph (0, 0)][DBLP]
   Information and Control, 1985, v:65, n:2/3, pp:98-121 [Journal]
   
3. Nachum Dershowitz
   Computing with Rewrite Systems [Citation Graph (0, 0)][DBLP]
   Information and Control, 1985, v:65, n:2/3, pp:122-157 [Journal]
   
4. Juris Hartmanis, Neil Immerman, Vivian Sewelson
   Sparse Sets in NP-P: EXPTIME versus NEXPTIME [Citation Graph (1, 0)][DBLP]
   Information and Control, 1985, v:65, n:2/3, pp:158-181 [Journal]
   
5. David A. Plaisted
   Semantic Confluence Tests and Completion Methods [Citation Graph (0, 0)][DBLP]
   Information and Control, 1985, v:65, n:2/3, pp:182-215 [Journal]