Journals in DBLP

J. ACM
1985, volume: 32, number: 2

1. M. A. Bauer
   Soundness and Completeness of a Synthesis Algorithm Based on Example Computations [Citation Graph (0, 0)][DBLP]
   J. ACM, 1985, v:32, n:2, pp:249-279 [Journal]
   
2. Georg Gottlob, Alexander Leitsch
   On the Efficiency of Subsumption Algorithms [Citation Graph (0, 0)][DBLP]
   J. ACM, 1985, v:32, n:2, pp:280-295 [Journal]
   
3. Ching-Chy Wang, Errol L. Lloyd, Mary Lou Soffa
   Feedback Vertex Sets and Cyclically Reducible Graphs [Citation Graph (0, 0)][DBLP]
   J. ACM, 1985, v:32, n:2, pp:296-313 [Journal]
   
4. Gael N. Buckley, Abraham Silberschatz
   Beyond Two-Phase Locking [Citation Graph (5, 0)][DBLP]
   J. ACM, 1985, v:32, n:2, pp:314-326 [Journal]
   
5. Brenda S. Baker, Edward G. Coffman Jr., Dan E. Willard
   Algorithms for Resolving Conflicts in Dynamic Storage Allocation [Citation Graph (1, 0)][DBLP]
   J. ACM, 1985, v:32, n:2, pp:327-343 [Journal]
   
6. M. E. Gonzalez Smith, James A. Storer
   Parallel Algorithms for Data Compression [Citation Graph (1, 0)][DBLP]
   J. ACM, 1985, v:32, n:2, pp:344-373 [Journal]
   
7. Michael J. Fischer, Nancy A. Lynch, Mike Paterson
   Impossibility of Distributed Consensus with One Faulty Process [Citation Graph (6, 0)][DBLP]
   J. ACM, 1985, v:32, n:2, pp:374-382 [Journal]
   
8. Gérard Cornuéjols, Denis Naddef, William R. Pulleyblank
   The Traveling Salesman Problem in Graphs with 3-Edge Cutsets [Citation Graph (0, 0)][DBLP]
   J. ACM, 1985, v:32, n:2, pp:383-410 [Journal]
   
9. John Staples, V. L. Nguyen
   A Fixpoint Semantics for Nondeterministic Data Flow [Citation Graph (0, 0)][DBLP]
   J. ACM, 1985, v:32, n:2, pp:411-444 [Journal]
   
10. Asser N. Tantawi, Donald F. Towsley
    Optimal Static Load Balancing in Distributed Computer Systems [Citation Graph (1, 0)][DBLP]
    J. ACM, 1985, v:32, n:2, pp:445-465 [Journal]
    
11. Eitan M. Gurari
    Decidable Problems for Powerful Programs [Citation Graph (0, 0)][DBLP]
    J. ACM, 1985, v:32, n:2, pp:466-483 [Journal]
    
12. Sven Skyum, Leslie G. Valiant
    A Complexity Theory Based on Boolean Algebra [Citation Graph (2, 0)][DBLP]
    J. ACM, 1985, v:32, n:2, pp:484-502 [Journal]