|
Journals in DBLP
J. ACM 1996, volume: 43, number: 2
- Bart Selman, Henry A. Kautz
Knowledge Compilation and Theory Approximation. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:2, pp:193-224 [Journal]
- Tushar Deepak Chandra, Sam Toueg
Unreliable Failure Detectors for Reliable Distributed Systems. [Citation Graph (1, 0)][DBLP] J. ACM, 1996, v:43, n:2, pp:225-267 [Journal]
- Uriel Feige, Shafi Goldwasser, László Lovász, Shmuel Safra, Mario Szegedy
Interactive Proofs and the Hardness of Approximating Cliques. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:2, pp:268-292 [Journal]
- Sandeep N. Bhatt, Fan R. K. Chung, Jia-Wei Hong, Frank Thomson Leighton, Bojana Obrenic, Arnold L. Rosenberg, Eric J. Schwabe
Optimal Emulations by Butterfly-Like Networks. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:2, pp:293-330 [Journal]
- Michael T. Goodrich, S. Rao Kosaraju
Sorting on a Parallel Pointer Machine with Applications to Set Expression Evaluation. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:2, pp:331-361 [Journal]
- Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions. [Citation Graph (0, 0)][DBLP] J. ACM, 1996, v:43, n:2, pp:362-397 [Journal]
|