Journals in DBLP
J. ACM 1982, volume: 29, number: 2
Steve Winker Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions. [Citation Graph (1, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:273-284 [Journal ] Christos H. Papadimitriou , Mihalis Yannakakis The complexity of restricted spanning tree problems. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:285-309 [Journal ] Barry E. Jacobs On Database Logic. [Citation Graph (35, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:310-332 [Journal ] Y. Edmund Lien On the Equivalence of Database Models. [Citation Graph (48, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:333-362 [Journal ] Fereidoon Sadri , Jeffrey D. Ullman Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization. [Citation Graph (9, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:363-372 [Journal ] Edward Sciore A Complete Axiomatization of Full Join Dependencies. [Citation Graph (10, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:373-393 [Journal ] Ravi Sethi Useless Actions Make a Difference: Strict Serializability of Database Updates. [Citation Graph (2, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:394-403 [Journal ] Christopher Bader , Arnaldo Moura A Generalization of Ogden's Lemma. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:404-407 [Journal ] Jacques Cohen , Timothy J. Hickey , Joel Katcoff Upper Bounds for Speedup in Parallel Parsing. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:408-428 [Journal ] Harry B. Hunt III On the Decidability of Grammar Problems. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:429-447 [Journal ] Theodore Brown Determination of the conditional response for quantum allocation algorithms. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:448-460 [Journal ] R. M. Bryant Maximum Processing Rates of Memory Bound Systems. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:461-477 [Journal ] Hisao Kameda A Finite-Source Queue with Different Customers. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:478-491 [Journal ] Simon S. Lam Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:492-513 [Journal ] Manfred Ruschitzka The Performance of Job Classes with Distinct Policy Functions. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:514-526 [Journal ] Percy Tzelnic , Izidor Gertner An Approach to Program Behavior Modeling and Optimal Memory Control. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:527-554 [Journal ] Albert R. Meyer , Joseph Y. Halpern Axiomatic Definitions of Programming Languages: A Theoretical Assessment. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:555-576 [Journal ] Michael A. Arbib , Ernest G. Manes The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions. [Citation Graph (0, 0)][DBLP ] J. ACM, 1982, v:29, n:2, pp:577-602 [Journal ]