External Links

Journal: Journal of the ACM

Volume 16, Issue 3

349 -- 363Donald W. Loveland. A Simplified Format for the Model Elimination Theorem-Proving Procedure
364 -- 382Erik Sandewall. A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees
383 -- 406Alfred V. Aho. Nested Stack Automata
407 -- 422Gregory J. Chaitin. On the Simplicity and Speed of Programs for Computing Infinite Sets of Natural Numbers
423 -- 431Tadao Kasami, Koji Torii. A Syntax-Analysis Procedure for Unambiguous Context-Free Grammars
432 -- 441Jerzy W. Grzymala-Busse. On the Periodic Representations and the Reducibility of Periodic Automata
442 -- 454C. L. Liu. Lattice Functions, Pair Algebras, and Finite-State Machines
455 -- 460Dennis M. Moyles, Gerald L. Thompson. An Algorithm for Finding a Minimum Equivalent Graph of a Digraph
461 -- 473Irving S. Reed, Rein Turn. A Generalization of Shift-Register Sequence Generators
474 -- 482Marshall C. Pease. Organization of Large Scale Fourier Processors
483 -- 495J. N. Lyness. Notes on the Adaptive Simpson Quadrature Routine
507 -- 510A. Tal. On Monotone Decomposable Operators
511 -- 516Tamio Shimizu. A Stochastic Approximation Method for Optimization Problems

Volume 16, Issue 2

189 -- 207James R. Slagle, John K. Dixon. Experiments With Some Programs That Search Game Trees
208 -- 219Jerzy W. Grzymala-Busse. Automorphisms of Polyadic Automata
220 -- 225Albert R. Meyer. A Note on Star-Free Events
226 -- 234R. G. Reynolds, W. F. Cutlip. Synchronizations and General Repetitive Machines, with Applications to Ultimate Definite Automata
235 -- 243Philip M. Spira. The Time Required for Group Multiplication
244 -- 255Zohar Manna. Properties of Programs and the First-Order Predicate Calculus
256 -- 260Hermann A. Maurer. A Direct Proof of the Inherent Ambiguity of a Simple Context-Free Language
261 -- 263Peter Wegner. Translation Networks and Function Composition
264 -- 285H. P. Edmundson. New Methods in Automatic Extracting
286 -- 294Gerald Berman. Lattice Approximations to the Minima of Functions of Several Variables
295 -- 301Peter Linz. Linear Multistep Methods for Volterra Integro-Differential Equations
302 -- 314Marshall C. Pease. Inversion of Matrices by Partitioning
315 -- 323Igal Adiri, Benjamin Avi-Itzhak. A Time-Sharing Queue with a Finite Number of Customers
324 -- 327Robert A. Di Paola. The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
328 -- 348Paul R. Young. Toward a Theory of Enumerations

Volume 16, Issue 1

1 -- 0Gerard Salton. A Policy for JACM
3 -- 12Richard Wesley Hamming. One Man s View of Computer Science
13 -- 25W. S. Brown, J. F. Traub. MERCURY: H system for the computer-aided distribution of technical reports
26 -- 48Manfred Kochen. Automatic Question-Answering of English-Like Questions About Simple Diagrams
63 -- 72Heinz H. Trauboth. Recursive Formulas for the Evaluation of the Convolutions Integral
73 -- 90Edward G. Coffman Jr.. Analysis of a Drum Input/Output Queue Under Scheduled Operation in a Paged Computer System
91 -- 106Sheila A. Greibach. An Infinite Hierarchy of Context-Free Languages
107 -- 131Daniel J. Rosenkrantz. Programmed Grammars and Classes of Formal Languages
132 -- 144Janusz A. Brzozowski, Rina S. Cohen. On Decompositions of Regular Events
145 -- 159Gregory J. Chaitin. On the Length of Programs for Computing Finite Binary Sequences: statistical considerations
160 -- 167Juris Hartmanis. On the Complexity of Undecidable Problems in Automata Theory
168 -- 177John E. Hopcroft, Jeffrey D. Ullman. Some Results on Tape-Bounded Turing Machines
178 -- 188Abraham Waksman. A Model of Replication
517 -- 533George W. Ernst. Sufficient Conditions for the Success of GPS
534 -- 549Ugo Montanari. Continuous Skeletons from Digitized Images
550 -- 563Jeffrey D. Ullman. Halting Stack Automata
564 -- 568Norman E. Gibbs. A Cycle Generation Algorithm for Finite Undirected Linear Graphs
569 -- 579Sakti P. Ghosh, Michael E. Senko. File Organization: On the Selection of Random Access Index Points for Sequential Files
580 -- 584George Loizou. Nonnormality and Jordan Condition Numbers of Matrices
585 -- 591A. Zafarullah. Finite Difference Scheme for a Third Boundary Value Problem
592 -- 601Shalhav Zohar. Toeplitz Matrix Inversion: The Algorithm of W. F. Trench
602 -- 620H. Frank. Analysis and Optimization of Disk Storage Devices for Time-Sharing Systems
621 -- 630Robert A. Di Paola. Random Sets in Subrecursive Hierarchies
631 -- 645Igal Adiri. Computer Time-Sharing Queues with Priorities
646 -- 0Donald W. Loveland. Erratum: Mechanical Theorem-Proving by Model Elimination
646 -- 0Edward G. Coffman Jr.. Erratum: Analysis of a Drum Input/Output Queue Under Scheduled Operation in a Paged Computer System
646 -- 0Jerzy W. Grzymala-Busse. Erratum: Automorphisms of polyadic automata
runs on