Journals in DBLP

J. ACM
1980, volume: 27, number: 4

1. Alan R. Aronson, Barry E. Jacobs, Jack Minker
   A Note on Fuzzy Deduction. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1980, v:27, n:4, pp:599-603 [Journal]
   
2. D. T. Lee
   Two-Dimensional Voronoi Diagrams in the L_p-Metric. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1980, v:27, n:4, pp:604-618 [Journal]
   
3. Shuji Tsukiyama, Isao Shirakawa, Hiroshi Ozaki, Hiromu Ariyoshi
   An Algorithm to Enumerate All Cutsets of a Graph in Linear Time per Cutset. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1980, v:27, n:4, pp:619-632 [Journal]
   
4. Yehoshua Sagiv, Mihalis Yannakakis
   Equivalences Among Relational Expressions with the Union and Difference Operators. [Citation Graph (56, 0)][DBLP]
   J. ACM, 1980, v:27, n:4, pp:633-655 [Journal]
   
5. Andrzej Ehrenfeucht, Grzegorz Rozenberg
   The Sequence Equivalence Problem is Decidable for 0S Systems. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1980, v:27, n:4, pp:656-663 [Journal]
   
6. David Maier
   Minimum Covers in Relational Database Model. [Citation Graph (3, 0)][DBLP]
   J. ACM, 1980, v:27, n:4, pp:664-674 [Journal]
   
7. Sheila A. Greibach, Emily P. Friedman
   Superdeterministic PDAs: A Subcase with a Decidable Inclusion problem. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1980, v:27, n:4, pp:675-700 [Journal]
   
8. Jacob T. Schwartz
   Fast Probabilistic Algorithms for Verification of Polynomial Identities. [Citation Graph (1, 0)][DBLP]
   J. ACM, 1980, v:27, n:4, pp:701-717 [Journal]
   
9. Marshall L. Fisher, Dorit S. Hochbaum
   Database Location in Computer Networks. [Citation Graph (7, 0)][DBLP]
   J. ACM, 1980, v:27, n:4, pp:718-735 [Journal]
   
10. K. G. Ramakrishnan
    Solving Two-Commodity Transportation Problems with Coupling Constraints. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1980, v:27, n:4, pp:736-757 [Journal]
    
11. Peter J. Downey, Ravi Sethi, Robert Endre Tarjan
    Variations on the Common Subexpression Problem. [Citation Graph (16, 0)][DBLP]
    J. ACM, 1980, v:27, n:4, pp:758-771 [Journal]
    
12. Jean-Claude Raoult, Jean Vuillemin
    Operational and Semantic Equivalence Between Recursive Programs. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1980, v:27, n:4, pp:772-796 [Journal]
    
13. Gérard P. Huet
    Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems. [Citation Graph (15, 0)][DBLP]
    J. ACM, 1980, v:27, n:4, pp:797-821 [Journal]
    
14. Joseph JáJá
    Computations of Bilinear Forms over Finite Fields. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1980, v:27, n:4, pp:822-830 [Journal]
    
15. Richard E. Ladner, Michael J. Fischer
    Parallel Prefix Computation. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1980, v:27, n:4, pp:831-838 [Journal]
    
16. Rüdiger Reischuk
    Improved Bounds on the Problem of Time-Space Trade-Off in the Pebble Game. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1980, v:27, n:4, pp:839-849 [Journal]