Journals in DBLP

Comput. J.
1986, volume: 29, number: 6

1. C. J. van Rijsbergen
   A Non-Classical Logic for Information Retrieval. [Citation Graph (5, 0)][DBLP]
   Comput. J., 1986, v:29, n:6, pp:481-485 [Journal]
   
2. R. M. Lea
   VLSI and WSI Associative String Processors for Cost-Effective Parallel Processing. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1986, v:29, n:6, pp:486-494 [Journal]
   
3. W. F. Clocksin
   Automatic Specilisation of Standard Designs. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1986, v:29, n:6, pp:495-499 [Journal]
   
4. M. Elizabeth C. Hull
   Implementations of the CSP Notation for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1986, v:29, n:6, pp:500-505 [Journal]
   
5. Lalit M. Patnaik, Julie Basu
   Two Tools for Interprocess Communication in Distributed Data-Flow Systems. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1986, v:29, n:6, pp:506-521 [Journal]
   
6. Reuven R. Levary, William D. Edwards
   Analysing the Impact of Adding a New Software System on Main Memory Usage. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1986, v:29, n:6, pp:522-526 [Journal]
   
7. D. Mackay, G. Ball, Malcolm K. Crowe, M. Hughes, David G. Jenkins, Clark Nicol
   A UNIX-Based System for Software Configuration Management. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1986, v:29, n:6, pp:527-530 [Journal]
   
8. Paritosh K. Pandya, Mathai Joseph
   A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1986, v:29, n:6, pp:531-537 [Journal]
   
9. Anthony J. Cowling
   Type Checking in Polymorphic Languages. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1986, v:29, n:6, pp:538-544 [Journal]
   
10. Philip Leith
    Fundamental Errors in Legal Logic Programming. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1986, v:29, n:6, pp:545-552 [Journal]
    
11. Massimo Ancona, Leila De Floriani, Jitender S. Deogun
    Path Problems in Structured Graphs. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1986, v:29, n:6, pp:553-563 [Journal]
    
12. K. J. MacCallum, J. M. Zhang
    Curve-Smoothing Techniques Using B-Splines. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1986, v:29, n:6, pp:564-571 [Journal]