Search ACM DL

Search Issue

enter search term and/or author name

**Some computational aspects of circumscription**

Phokion G. Kolaitis, Christos H. Papadimitriou

Pages: 1-14

DOI: 10.1145/78935.78936

**Polynomial-time implication problems for unary inclusion dependencies**

Stavros S. Cosmadakis, Paris C. Kanellakis, Moshe Y. Vardi

Pages: 15-46

DOI: 10.1145/78935.78937

**Minimal and complete word unification**

Joxan Jaffar

Pages: 47-85

DOI: 10.1145/78935.78938

**Completeness of rewrite rules and rewrite strategies for FP**

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers

Pages: 86-143

DOI: 10.1145/78935.78939

**Asymptotic expansion for large closed queuing networks**

Charles Knessl, Charles Tier

Pages: 144-174

DOI: 10.1145/78935.78940

**Nondeterministic polynomial-time computations and models of arithmetic**

Attila Máté

Pages: 175-193

DOI: 10.1145/78935.78941