Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artículo
|
Upper and lower bounds on switching energy in VLSIKISSIN, GJournal of the ACM, 1991-01, Vol.38 (1), p.222-254 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
|
2 |
Material Type: Artículo
|
Extended Horn sets in propositional logicCHANDRU, V ; HOOKER, J. NJournal of the ACM, 1991-01, Vol.38 (1), p.205-221 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
|
3 |
Material Type: Artículo
|
AN OPTIMAL ALGORITHM FOR INTERSECTING LINE SEGMENTS IN THE PLANECHAZELLE, B ; EDELSBRUNNER, HJournal of the ACM, 1992-01, Vol.39 (1), p.1-54 [Revista revisada por pares]NEW YORK: Assoc Computing MachineryTexto completo disponible |
|
4 |
Material Type: Artículo
|
INSTITUTIONS - ABSTRACT MODEL-THEORY FOR SPECIFICATION AND PROGRAMMINGGOGUEN, JA ; BURSTALL, RMJournal of the ACM, 1992-01, Vol.39 (1), p.95-146 [Revista revisada por pares]NEW YORK: Assoc Computing MachineryTexto completo disponible |
|
5 |
Material Type: Artículo
|
Perfectly secure message transmissionDOLEV, D ; DWORK, C ; WAARTS, O ; YUNG, MJournal of the ACM, 1993-01, Vol.40 (1), p.17-47 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
|
6 |
Material Type: Artículo
|
Constant depth circuits, Fourier transform, and learnabilityLINIAL, N ; MANSOUR, Y ; NISAN, NJournal of the ACM, 1993-07, Vol.40 (3), p.607-620 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
|
7 |
Material Type: Artículo
|
Fault tolerance of the star graph interconnection networkJOVANOVIC, Z ; MISIC, JInformation processing letters, 1994-02, Vol.49 (3), p.145-150 [Revista revisada por pares]Amsterdam: Elsevier B.VTexto completo disponible |
|
8 |
Material Type: Artículo
|
Linear approximation of shortest superstringsBlum, Avrim ; Jiang, Tao ; Li, Ming ; Tromp, John ; Yannakakis, MihalisJournal of the ACM, 1994-07, Vol.41 (4), p.630-647 [Revista revisada por pares]New York: Association for Computing MachineryTexto completo disponible |
|
9 |
Material Type: Artículo
|
On the hardness of approximating minimization problemsLUND, C ; YANNAKAKIS, MJournal of the ACM, 1994-09, Vol.41 (5), p.960-981 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |
|
10 |
Material Type: Artículo
|
The complexity of logic-based abductionEITER, T ; GOTTLOB, GJournal of the ACM, 1995-01, Vol.42 (1), p.3-42 [Revista revisada por pares]New York, NY: Association for Computing MachineryTexto completo disponible |