Search ACM DL

Search Issue

enter search term and/or author name

**Inference with path resolution and semantic graphs**

Neil V. Murray, Erik Rosenthal

Pages: 225-254

DOI: 10.1145/23005.23716

**Recognizing planar perfect graphs**

Wen-Lian Hsu

Pages: 255-288

DOI: 10.1145/23005.31330

**Estimating the multiplicities of conflicts to speed their resolution in multiple access channels**

Albert G. Greenberg, Philippe Flajolet, Richard E. Ladner

Pages: 289-325

DOI: 10.1145/23005.23006

**Optimal reconfiguration strategy for a degradable multimodule computing system**

Yann-Hang Lee, Kang G. Shin

Pages: 326-348

DOI: 10.1145/23005.23016

**Answering queries on embedded-complete database schemes**

Edward P. F. Chan, Alberto O. Mendelzon

Pages: 349-375

DOI: 10.1145/23005.23007

**Associative table lookup processing for multioperand residue arithmetic**

Christos A. Papachristou

Pages: 376-396

DOI: 10.1145/23005.23017

**Linear probing with a nonuniform address distribution**

Georg Ch. Pflug, Hans W. Kessler

Pages: 397-410

DOI: 10.1145/23005.42225

**A model for distributed systems based on graph rewriting**

Pierpaolo Degano, Ugo Montanari

Pages: 411-449

DOI: 10.1145/23005.24038

**Concurrent dynamic logic**

David Peleg

Pages: 450-479

DOI: 10.1145/23005.23008

**Minimal degrees for polynomial reducibilities**

Steven Homer

Pages: 480-491

DOI: 10.1145/23005.23009

**Decidability of the purely existential fragment of the theory of term algebras**

K. N. Venkataraman

Pages: 492-510

DOI: 10.1145/23005.24037