Journal: Journal of the ACM

Volume 19, Issue 4

577 -- 589Bernard Kolman, Robert E. Beck. Computer Approaches to the Representations of Lie Algebras
590 -- 607Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg. Real-Time Simulation of Multihead Tape Units
608 -- 612Oscar H. Ibarra. A Note Concerning Nondeterministic Tape Complexities
613 -- 640James C. Beatty. An axiomatic approach to code optimization for expressions
641 -- 648W. Donald Frazer, B. T. Bennett. Bounds on Optimal Merge Performance, and a Strategy for Optimality
649 -- 659Edward M. Reingold. On the Optimality of Some Set Algorithms
660 -- 674John E. Savage. Computational Work and Time on Finite Machines
675 -- 698Jim Gray, Michael A. Harrison. On the Covering and Reduction Problems for Context-Free Grammars
699 -- 711Shi-Kuo Chang. The Generation of Minimal Trees with a Steiner Topology
712 -- 726V. Srinivasan, G. L. Thompson. Accelerated Algorithms for Labeling and Relabeling of Trees, with Applications to Distribution Problems
727 -- 733Carl M. Harris, Paul G. Marlin. A Note on Feedback Queues with Bulk Service
734 -- 741A. J. Bayes. A Minimum Variance Sampling Technique for Simulation Models
742 -- 764Bernard P. Zeigler. Toward a Formal Theory of Modeling and Simulation: Structure Preserving Morphisms

Volume 19, Issue 3

385 -- 395J. McAfee, Leon Presser. An Algorithm for the Design of Simple Precedence Grammars
396 -- 399Clarence A. Ellis. The Halting Problem for Probabilistic Context-Free Generators
400 -- 410Shimon Even, Amir Pnueli, Abraham Lempel. Permutation Graphs and Transitive Graphs
411 -- 422John L. Pfaltz. Graph Structures
423 -- 424Jin Y. Yen. Finding the Lengths of All Shortest paths in N-Node Nonnegative-Distance Complete Networks Using ½N³ Additions and N³ Comparisons
425 -- 436Larry E. Stanfel. Practical Aspects of Doubly Chained Trees for Retrieval
437 -- 444Nancy M. Huang, Randall E. Cline. Inversion of Persymmetric Matrices Having Toeplitz Inverses
445 -- 452Isi Mitrani. Nonpriority Multiprogramming Systems Under Heavy Demand Conditions--Customers Viewpoint
453 -- 463Richard E. Nance, U. Narayan Bhat, Billy G. Claybrook. Busy Period Analysis of a Time-Sharing System: transform inversion
464 -- 482Leonard Kleinrock, Richard R. Muntz. Processor Sharing Queueing Models of Mixed Scheduling Disciplines for Time Shared System
483 -- 495Gary D. Schultz. A Stochastic Model for Message Assembly Buffering with a Comparison of Block Assignment Strategies
496 -- 516James R. Slagle. An Approach for Finding C-Linear Complete Inference Systems
517 -- 525John L. Bruno, Kenneth Steiglitz. The Expression of Algorithms by Charts
526 -- 568Robert L. Constable, Allan Borodin. Subrecursive Programming Languages, Part I: efficiency and program structure
569 -- 575Jeffrey D. Ullman. A Note on the Efficiency of Hashing Functions
576 -- 0Allan Borodin. Corrigendum: Computational Complexity and the Existence of Complexity Gaps

Volume 19, Issue 2

193 -- 221Seymour Ginsburg, Sheila A. Greibach. Multitape AFA
222 -- 224Eugene S. Santos. A Note on Bracketed Grammars
225 -- 243Alfred V. Aho, Peter J. Denning, Jeffrey D. Ullman. Weak and Mixed Strategy Precedence Parsing
244 -- 247Gordon D. Mulligan, Derek G. Corneil. Corrections to Bierstone s Algorithm for Generating Cliques
248 -- 264Jack Edmonds, Richard M. Karp. Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems
265 -- 282Peter L. Hammer, Uri N. Peled. On the Maximization of a Pseudo-Boolean Function
283 -- 295Stanley M. Selkow. One-Pass Complexity of Digital Picture Properties
296 -- 308Lawrence H. Landweber, Edward L. Robertson. Recursive Properties of Abstract Complexity Classes
309 -- 340Arnold L. Rosenberg. Addressable Data Graphs
341 -- 346Robert Endre Tarjan. Sorting Using Networks of Queues and Stacks
347 -- 365S. C. van Westrhenen. Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus
366 -- 384Donald W. Loveland. A Unifying View of Some Linear Herbrand Procedures

Volume 19, Issue 1

1 -- 2Gerard Salton. What Is Computer Science?
3 -- 10Arthur C. Fleck, Stephen T. Hedetniemi, Robert H. Oehmke. S-Semigroups of Automata
11 -- 22Theodosios Pavlidis. Linear and Context-Free Graph Grammars
23 -- 42C. P. Earnest, K. G. Balke, J. Anderson. Analysis of Graphs by Ordering of Nodes
43 -- 56Herbert Weinblatt. A New Search Algorithm for Finding the Simple Cycles of a Finite Directed Graph
57 -- 69Y. E. Chen, Donald L. Epley. Memory Requirements in a Multiprocessing Environment
70 -- 91Harry C. Heacox Jr., Paul Walton Purdom Jr.. Analysis of Two Time-Sharing Queueing Models
92 -- 108Alan G. Konheim, Bernd Meister. Service in a Loop System
109 -- 119Richard C. T. Lee. Fuzzy Logic and the Resolution Principle
120 -- 135James R. Slagle. Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
136 -- 157Andrzej Blikle. Addressless Units for Carrying Out Loop-Free Computations
158 -- 174Allan Borodin. Computational Complexity and the Existence of Complexity Gaps
175 -- 183Robert L. Constable. The Operator Gap
184 -- 192Norman Zadeh. Theoretical Efficiency of the Edmonds-Karp Algorithm for Computing Maximal Flows