Search ACM DL

Search Issue

enter search term and/or author name

**A Formalism for Program Translation**

J. Slansky, M. Finkelstein

Pages: 165-175

DOI: 10.1145/321450.321451

**Structuring of Parallel Algorithms**

P. A. Gilmore

Pages: 176-192

DOI: 10.1145/321450.321452

**The Perspective Representation of Functions of Two Variables**

B. Kubert, J. Szabo, S. Giulieri

Pages: 193-204

DOI: 10.1145/321450.321453

**A Mathematical Model for the Analysis of Contour-Line Data**

Stephen P. Morse

Pages: 205-220

DOI: 10.1145/321450.321454

**A Bidirectional Simplex Algorithm**

A. Orden, V. Nalbandian

Pages: 221-235

DOI: 10.1145/321450.321455

**Mechanical Theorem-Proving by Model Elimination**

Donald W. Loveland

Pages: 236-251

DOI: 10.1145/321450.321456

**An Adaptation of the Fast Fourier Transform for Parallel Processing**

Marshall C. Pease

Pages: 252-264

DOI: 10.1145/321450.321457

**Quasi- Newton Methods for Nonlinear Equations**

Frank J. Zeleznik

Pages: 265-271

DOI: 10.1145/321450.321458

**Common Solutions for n Matrix Equations With Applications**

Gerald L. Morris, Patrick L. Odell

Pages: 272-274

DOI: 10.1145/321450.321459

**Analysis in the Computable Number Field**

Oliver Aberth

Pages: 275-299

DOI: 10.1145/321450.321460

**A Remark on Acceptable Sets of Numbers**

Marcel Paul Schutzenberger

Pages: 300-303

DOI: 10.1145/321450.321461

**Generalized Pair Algebra With Applications to Automata Theory**

Raymond T. Yeh

Pages: 304-316

DOI: 10.1145/321450.321462

**Decidable and Undecidable Questions About Automata**

J. E. Hopcroft, J. D. Ullman

Pages: 317-324

DOI: 10.1145/321450.321463

**Computational Complexity of One-Tape Turing Machine Computations**

J. Hartmanis

Pages: 325-339

DOI: 10.1145/321450.321464

**Corrigendum: `` A Permutation Network''**

Abraham Waksman

Page: 340

DOI: 10.1145/321450.321465