Journals in DBLP

Information and Control
1984, volume: 63, number: 1/2

1. Benjamin Arazi
   An Approach for Generating Different Types of Gray Codes [Citation Graph (0, 0)][DBLP]
   Information and Control, 1984, v:63, n:1/2, pp:1-10 [Journal]
   
2. Yishai A. Feldman
   A Decidable Propositional Dynamic Logic with Explicit Probabilities [Citation Graph (0, 0)][DBLP]
   Information and Control, 1984, v:63, n:1/2, pp:11-38 [Journal]
   
3. Richard Cole, Chee-Keng Yap
   Geometric Retrieval Problems [Citation Graph (0, 0)][DBLP]
   Information and Control, 1984, v:63, n:1/2, pp:39-57 [Journal]
   
4. Paliath Narendran, Friedrich Otto, Karl Winklmann
   The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-Complete [Citation Graph (0, 0)][DBLP]
   Information and Control, 1984, v:63, n:1/2, pp:58-66 [Journal]
   
5. J. M. Robson
   Fast Probabilistic RAM Simulation of Single Tape Turing Machine Computations [Citation Graph (0, 0)][DBLP]
   Information and Control, 1984, v:63, n:1/2, pp:67-87 [Journal]
   
6. A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Albert R. Meyer
   Can Message Buffers Be Axiomatized in Linear Temporal Logic? [Citation Graph (0, 0)][DBLP]
   Information and Control, 1984, v:63, n:1/2, pp:88-112 [Journal]
   
7. H. C. M. Kleijn, Martti Penttonen, Grzegorz Rozenberg, Kai Salomaa
   Direction Independent Context-Sensitive Grammars [Citation Graph (0, 0)][DBLP]
   Information and Control, 1984, v:63, n:1/2, pp:113-117 [Journal]
   
8. David Harel, Dexter Kozen
   A Programming Language for the Inductive Sets, and Applications [Citation Graph (1, 0)][DBLP]
   Information and Control, 1984, v:63, n:1/2, pp:118-139 [Journal]