Volume 44; Issue 1

Journal of the ACM

Volume 44; Issue 1
1

Fixpoint logics, relational machines, and computational complexity

Year:
1997
Language:
english
File:
PDF, 557 KB
english, 1997
3

Avoiding Cartesian products for multiple joins

Year:
1997
Language:
english
File:
PDF, 570 KB
english, 1997
4

The maintenance of common data in a distributed system

Year:
1997
Language:
english
File:
PDF, 508 KB
english, 1997
6

Optimizing two-phase, level-clocked circuitry

Year:
1997
Language:
english
File:
PDF, 891 KB
english, 1997