Search ACM DL

Search Issue

enter search term and/or author name

**Faster tree pattern matching**

Moshe Dubiner, Zvi Galil, Edith Magen

Pages: 205-213

DOI: 10.1145/174652.174653

**Biconnectivity approximations and graph carvings**

Samir Khuller, Uzi Vishkin

Pages: 214-235

DOI: 10.1145/174652.174654

**Equational inference, canonical proofs, and proof orderings**

Leo Bachmair, Nachum Dershowitz

Pages: 236-276

DOI: 10.1145/174652.174655

**Tight lower bounds for probabilistic solitude verification on anonymous rings**

Karl Abrahamson, Andrew Adler, Lisa Highám, David Kirkpatrick

Pages: 277-310

DOI: 10.1145/174652.174656

**The elusive atomic register**

Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda

Pages: 311-339

DOI: 10.1145/174652.174657

**Reasoning about knowledge and probability**

Ronald Fagin, Joseph Y. Halpern

Pages: 340-367

DOI: 10.1145/174652.174658

**An analysis of ML typability**

A. J. Kfoury, J. Tiuryn, P. Urzyczyn

Pages: 368-398

DOI: 10.1145/174652.174659

**Optimal algorithms for parallel Givens factorization on a coarse-grained PRAM**

Michel Cosnard, El Mostafa Daoudi

Pages: 399-421

DOI: 10.1145/174652.174660

**Parallel linear programming in fixed dimension almost surely in constant time**

Noga Alon, Nimrod Megiddo

Pages: 422-434

DOI: 10.1145/174652.174661