Journals in DBLP

J. ACM
1977, volume: 24, number: 3

1. A. Michael Ballantyne, W. W. Bledsoe
   Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1977, v:24, n:3, pp:353-374 [Journal]
   
2. Guy Fayolle, Erol Gelenbe, Jacques Labetoulle
   Stability and Optimal Control of the Packet Switching Broadcast Channel. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1977, v:24, n:3, pp:375-386 [Journal]
   
3. Harry B. Hunt III, Daniel J. Rosenkrantz
   On Equivalence and Containment Problems for Formal Languages. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1977, v:24, n:3, pp:387-396 [Journal]
   
4. R. Attar, Aviezri S. Fraenkel
   Local Feedback in Full-Text Retrieval Systems. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1977, v:24, n:3, pp:397-417 [Journal]
   
5. Abraham Bookstein, Donald H. Kraft
   Operations Research Applied to Document Indexing and Retrieval Decisions. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1977, v:24, n:3, pp:418-427 [Journal]
   
6. Douglas Comer, Ravi Sethi
   The Complexity of Trie Index Construction. [Citation Graph (5, 0)][DBLP]
   J. ACM, 1977, v:24, n:3, pp:428-440 [Journal]
   
7. K. Hwang, S. Bing Yao
   Optimal Batched Searching of Tree Structured Files in Multiprocessor Computer Systems. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1977, v:24, n:3, pp:441-454 [Journal]
   
8. Richard J. Lipton, Lawrence Snyder
   A Linear Time Algorithm for Deciding Subject Security. [Citation Graph (1, 0)][DBLP]
   J. ACM, 1977, v:24, n:3, pp:455-464 [Journal]
   
9. Benjamin W. Y. Lin, Ronald L. Rardin
   Development of a Parametric Generating Procedure for Integer Programming Test Problems. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1977, v:24, n:3, pp:465-472 [Journal]
   
10. Lawrence T. Kou
    On Live-Dead Analysis for Global Data Flow Problems. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1977, v:24, n:3, pp:473-483 [Journal]
    
11. John C. Reynolds
    Semantics of the Domain of Flow Diagrams. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1977, v:24, n:3, pp:484-503 [Journal]
    
12. Ben Wegbreit
    Complexity of Synthesizing Inductive Assertions. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1977, v:24, n:3, pp:504-512 [Journal]
    
13. Laurent Hyafil, H. T. Kung
    The Complexity of Parallel Evaluation of Linear Recurrences. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1977, v:24, n:3, pp:513-521 [Journal]
    
14. Richard J. Lipton, Yechezkel Zalcstein
    Word Problems Solvable in Logspace. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1977, v:24, n:3, pp:522-526 [Journal]
    
15. K. L. Krause, V. Y. Shen, Herbert D. Schwetman
    Errata: ``Analysis of Several Task-Scheduling Algorithms for a Model of Multiprogramming Computer Systems''. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1977, v:24, n:3, pp:527- [Journal]