Search ACM DL

Search Issue

enter search term and/or author name

**Experiments With Some Programs That Search Game Trees**

James R. Slagle, John E. Dixon

Pages: 189-207

DOI: 10.1145/321510.321511

**Automorphisms of Polyadic Automata**

Jerzy W. Grzymala-Busse

Pages: 208-219

DOI: 10.1145/321510.321512

**A Note on Star-Free Events**

Albert R. Meyer

Pages: 220-225

DOI: 10.1145/321510.321513

**Synchronizations and General Repetitive Machines, with Applications to Ultimate Definite Automata**

R. G. Reynolds, W. F. Cutlip

Pages: 226-234

DOI: 10.1145/321510.321514

**The Time Required for Group Multiplication**

Philip M. Spira

Pages: 235-243

DOI: 10.1145/321510.321515

**Properties of Programs and the First-Order Predicate Calculus**

Zohar Manna

Pages: 244-255

DOI: 10.1145/321510.321516

**A Direct Proof of the Inherent Ambiguity of a Simple Context-Free Language**

Herman A. Maurer

Pages: 256-260

DOI: 10.1145/321510.321517

**Translation Networks and Function Composition**

Peter Wegner

Pages: 261-263

DOI: 10.1145/321510.321518

**New Methods in Automatic Extracting**

H. P. Edmundson

Pages: 264-285

DOI: 10.1145/321510.321519

**Lattice Approximations to the Minima of Functions of Several Variables**

Gerald Berman

Pages: 286-294

DOI: 10.1145/321510.321520

**Linear Multistep Methods for Volterra Integro-Differential Equations**

Peter Linz

Pages: 295-301

DOI: 10.1145/321510.321521

**Inversion of Matrices by Partitioning**

Marshall C. Pease

Pages: 302-314

DOI: 10.1145/321510.321522

**A Time-Sharing Queue with a Finite Number of Customers**

I. Adiri, B. Avi-Itzhak

Pages: 315-323

DOI: 10.1145/321510.321523

**The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas**

Robert A. Di Paola

Pages: 324-327

DOI: 10.1145/321510.321524

**Toward a Theory of Enumerations**

Paul R. Young

Pages: 328-348

DOI: 10.1145/321510.321525