Journals in DBLP

Comput. J.
1985, volume: 28, number: 5

1. M. W. Shields
   Concurrent Machines. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1985, v:28, n:5, pp:449-465 [Journal]
   
2. Krishna Kant, Abraham Silberschatz
   Error Propagation and Recovery in Concurrent Environments. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1985, v:28, n:5, pp:466-473 [Journal]
   
3. Lawrence C. Paulson
   Lessons Learned from LCF: A Survey of Natural Deduction Proofs. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1985, v:28, n:5, pp:474-479 [Journal]
   
4. Lloyd Allison
   Programming Denotational Semantics II. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1985, v:28, n:5, pp:480-486 [Journal]
   
5. Zsuzsanna Markusz, A. A. Kaposi
   Complexity Control in Logic-Based Programming. [Citation Graph (2, 0)][DBLP]
   Comput. J., 1985, v:28, n:5, pp:487-495 [Journal]
   
6. Robert M. O'Keefe
   Comment on `Complexity Analyses of Event Set Algorithms'. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1985, v:28, n:5, pp:496-497 [Journal]
   
7. Nader Chebini
   FEDOS: A Finite Element Database for Offshore Structures. [Citation Graph (0, 0)][DBLP]
   Comput. J., 1985, v:28, n:5, pp:498-500 [Journal]
   
8. Peter M. D. Gray, P. Esslemont
   The Performance of a Relational Interface to a Codasyl Database. [Citation Graph (1, 0)][DBLP]
   Comput. J., 1985, v:28, n:5, pp:501-507 [Journal]
   
9. Donal J. Flynn, Alberto H. F. Laender
   Mapping from a Conceptual Schema to a Target Internal Schema. [Citation Graph (1, 0)][DBLP]
   Comput. J., 1985, v:28, n:5, pp:508-517 [Journal]
   
10. Clement H. C. Leung, K. Wolfenden
    Analysis and Optimisation of Data Currency and Consistency in Replicated Distributed Databases. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1985, v:28, n:5, pp:518-523 [Journal]
    
11. Michael Hatzopoulos, John G. Kollias
    Towards the Optimal Secondary Index Organisation and Secondary Index Selection. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1985, v:28, n:5, pp:524-529 [Journal]
    
12. A. J. Compton
    An Algorithm for the Even Distribution of Entities in One Dimension. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1985, v:28, n:5, pp:530-537 [Journal]
    
13. M. C. Er
    Enumerating Ordered Trees Lexicographically. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1985, v:28, n:5, pp:538-542 [Journal]