Polynomial-Time Implication Problems for Unary Inclusion Dependencies
- Stavros S. Cosmadakis
- Paris C. Kanellakis
- et al.
- 1990
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
195 results at Journal of the ACM
Completeness of Rewrite Rules and Rewrite Strategies for FP
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1990
- Journal of the ACM
Minimal and Complete Word Unification
- Joxan Jaffar
- 1990
- Journal of the ACM
Calculating Availability and Performability Measures of Repairable Computer Systems Using Randomization
- Edmundo de Souza e Silva
- H.Richard. Gail
- 1989
- Journal of the ACM
Calculating Joint Queue-Length Distributions in Product-Form Queuing Networks
- Edmundo de Souza e Silva
- S.S. Lavenberg
- 1989
- Journal of the ACM
Computing on an Anonymous Ring
- Hagit Attiya
- Marc Snir
- et al.
- 1988
- Journal of the ACM
Parallel Hashing: An Efficient Implementation of Shared Memory
- Anna R. Karlin
- Eli Upfal
- 1988
- Journal of the ACM
The parallel complexity of exponentiating polynomials over finite fields
- Faith E. Fich
- Martin Tompa
- 1988
- Journal of the ACM
Consensus in the presence of partial synchrony
- Cynthia Dwork
- Nancy Lynch
- et al.
- 1988
- Journal of the ACM
The complexity of searching a graph
- Nimrod Megiddo
- S.L. Hakimi
- et al.
- 1988
- Journal of the ACM