Volume 23; Issue 4

Journal of the ACM

Volume 23; Issue 4
1

The Semantics of Predicate Logic as a Programming Language

Van Emden, M. H., Kowalski, R. A.
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 638 KB
english, 1976
2

Open Shop Scheduling to Minimize Finish Time

Gonzalez, Teofilo, Sahni, Sartaj
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 893 KB
english, 1976
3

A Combinatorial Problem Which Is Complete in Polynomial Space

Even, S., Tarjan, R. E.
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 537 KB
english, 1976
4

Boundary and Object Detection in Real World Images

Yakimovsky, Yoram
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 1.67 MB
english, 1976
5

Theorem Proving with Lemmas

Peterson, G. E.
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 603 KB
english, 1976
8

Sequencing Jobs with Stochastic Task Structures on a Single Machine

Bruno, John L.
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 571 KB
english, 1976
9

Multilevel Queues with Extremal Priorities

Rosberg, Z., Adiri, I.
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 465 KB
english, 1976
10

Verifying Program Performance

Wegbreit, Ben
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 514 KB
english, 1976
11

Size complexity in context-free grammars forms

Ginsburg, Seymour, Lynch, Nancy
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 1.04 MB
english, 1976
12

Enumeration of Fanout-Free Boolean Functions

Hayes, John P.
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 550 KB
english, 1976
13

Mathematical Techniques for Efficient Record Segmentation in Large Shared Databases

Eisner, Mark J., Severance, Dennis G.
Journal:
Journal of the ACM
Year:
1976
Language:
english
File:
PDF, 1.03 MB
english, 1976