Search ACM DL

Search Issue

enter search term and/or author name

**Programming Language for Automata**

Donald E. Knuth, Richard H. Bigelow

Pages: 615-635

DOI: 10.1145/321420.321421

**Nondeterministic Algorithms**

Robert W. Floyd

Pages: 636-644

DOI: 10.1145/321420.321422

**Real-Time Definable Languages**

Arnold L. Rosenberg

Pages: 645-662

DOI: 10.1145/321420.321423

**On Memory Requirements for Context-Free Language Recognition**

J. Hartmanis

Pages: 663-665

DOI: 10.1145/321420.321424

**Periodic Decomposition of Sequential Machines**

Arthur Gill, J. Robert Flexer

Pages: 666-676

DOI: 10.1145/321420.321425

**The Solvability of the Halting Problem for 2-State Post Machines**

Stål Aanderaa, Patrick C. Fischer

Pages: 677-682

DOI: 10.1145/321420.321426

**Minimal Experiments for Input-Independent Machines**

Bruce H. Barnes, John M. Fitzgerald

Pages: 683-686

DOI: 10.1145/321420.321427

**Automatic Theorem Proving With Renamable and Semantic Resolution**

James R. Slagle

Pages: 687-697

DOI: 10.1145/321420.321428

**The Concept of Demodulation in Theorem Proving**

Lawrence Wos, George A. Robinson, Daniel F. Carson, Leon Shalla

Pages: 698-709

DOI: 10.1145/321420.321429

**Morphology of ``Information Flow''**

Robert A. Fairthorne

Pages: 710-719

DOI: 10.1145/321420.321430

**An Algorithm for Reconstructing Protein and RNA Sequences**

Marvin B. Shapiro

Pages: 720-731

DOI: 10.1145/321420.321431

**On a Continuous Method of Approximating Solutions of the Heat Equation**

V. G. Sigillito

Pages: 732-741

DOI: 10.1145/321420.321432

**Conversion of Limited-Entry Decision Tables to Optimal Computer Programs II**: minimum storage requirement

Lewis T. Reinwald, Richard M. Soland

Pages: 742-756

DOI: 10.1145/321420.321433

**Matrix Inversion Using Parallel Processing**

Marshall C. Pease

Pages: 757-764

DOI: 10.1145/321420.321434

**On Computing the Fixed-Point Probability Vector of Ergodic Transition Matrices**

P. L. Odell, E. P. Decell

Pages: 765-768

DOI: 10.1145/321420.321435

**Solution of Ordinary Differential Equations Using Two ``Off-Step'' Points**

D. G. Brush, J. J. Kohfeld, G. T. Thompson

Pages: 769-784

DOI: 10.1145/321420.321436

**Some New Results in Pseudo-Random Number Generation**

A. Van Gelder

Pages: 785-792

DOI: 10.1145/321420.321437

**On the Time Required to Perform Multiplication**

S. Winograd

Pages: 793-802

DOI: 10.1145/321420.321438