Search ACM DL

Search Issue

enter search term and/or author name

**Theorem Proving with Lemmas**

G. E. Peterson

Pages: 573-581

DOI: 10.1145/321978.321979

**Size complexity in context-free grammars forms**

Seymour Ginsburg, Nancy Lynch

Pages: 582-598

DOI: 10.1145/321978.321980

**Boundary and Object Detection in Real World Images**

Yoram Yakimovsky

Pages: 599-618

DOI: 10.1145/321978.321981

**Mathematical Techniques for Efficient Record Segmentation in Large Shared Databases**

Mark J. Eisner, Dennis G. Severance

Pages: 619-635

DOI: 10.1145/321978.321982

**Accelerated Iterative Methods for the Solution of Tridiagonal Systems on Parallel Computers**

D. E. Heller, D. K. Stevenson, J. F. Traub

Pages: 636-654

DOI: 10.1145/321978.321983

**Sequencing Jobs with Stochastic Task Structures on a Single Machine**

John L. Bruno

Pages: 655-664

DOI: 10.1145/321978.321984

**Open Shop Scheduling to Minimize Finish Time**

Teofilo Gonzalez, Sartaj Sahni

Pages: 665-679

DOI: 10.1145/321978.321985

**Multilevel Queues with Extremal Priorities**

Z. Rosberg, I. Adiri

Pages: 680-690

DOI: 10.1145/321978.321986

**Verifying Program Performance**

Ben Wegbreit

Pages: 691-699

DOI: 10.1145/321978.321987

**Enumeration of Fanout-Free Boolean Functions**

John P. Hayes

Pages: 700-709

DOI: 10.1145/321978.321988

**A Combinatorial Problem Which Is Complete in Polynomial Space**

S. Even, R. E. Tarjan

Pages: 710-719

DOI: 10.1145/321978.321989

**Space and Time Hierarchies for Classes of Control Structures and Data Structures**

R. J. Lipton, S. C. Eisenstat, R. A. DeMillo

Pages: 720-732

DOI: 10.1145/321978.321990

**The Semantics of Predicate Logic as a Programming Language**

M. H. Van Emden, R. A. Kowalski

Pages: 733-742

DOI: 10.1145/321978.321991