Search ACM DL

Search Issue

enter search term and/or author name

**Special relations in automated deduction**

Zohar Manna, Richard Waldinger

Pages: 1-59

DOI: 10.1145/4904.4905

**Routing through a rectangle**

K. Mehlhorn, F. P. Preparata

Pages: 60-85

DOI: 10.1145/4904.4994

**An application of number theory to the organization of raster-graphics memory**

Benny Chor, Charles E. Leiserson, Ronald L. Rivest, James B. Shearer

Pages: 86-104

DOI: 10.1145/4904.4800

**Notions of dependency satisfaction**

Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi

Pages: 105-129

DOI: 10.1145/4904.4798

**A chaotic asynchronous algorithm for computing the fixed point of a nonnegative matrix of unit spectral radius**

Boris Lubachevsky, Debasis Mitra

Pages: 130-150

DOI: 10.1145/4904.4801

**“Sometimes” and “not never” revisited**: on branching versus linear time temporal logic

E. Allen Emerson, Joseph Y. Halpern

Pages: 151-178

DOI: 10.1145/4904.4999

**Bound hierarchies for multiple-class queuing networks**

Derek L. Eager, Kenneth C. Sevcik

Pages: 179-206

DOI: 10.1145/4904.4992

**A matrix-algebraic solution to two K_{m} servers in a loop**

Appie van de Liefvoort, Lester Lipsky

Pages: 207-223

DOI: 10.1145/4904.5391

**Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness**

David Harel

Pages: 224-248

DOI: 10.1145/4904.4993