- isn = "00045411"
- Artículo:
The Asymptotic Complexity of Merging Networks
- Autor:
P. B. Miltersen
M. Paterson
J. Tarui
- Página:
147
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
1
- Periodo:
Enero 1996
- ISSN:
00045411
- SrcID:
00045411-1996-01.TXT
- Documento número 1670630
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
Automated Proofs of Object Code for a Widely Used Microprocessor
- Autor:
R. S. Boyer
Yu
- Página:
166
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
1
- Periodo:
Enero 1996
- ISSN:
00045411
- SrcID:
00045411-1996-01.TXT
- Documento número 1670631
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
Knowledge Compilation and Theory Approximation
- Autor:
B. Selman
H. Kautz.
- Página:
193
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
2
- Periodo:
Marzo 1996
- ISSN:
00045411
- SrcID:
00045411-1996-02.txt
- Documento número 1670632
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
Unreliable Failure Detectors for Reliable Distributed Systems
- Autor:
T.D. Chandra
S. Toueg
- Página:
225
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
2
- Periodo:
Marzo 1996
- ISSN:
00045411
- SrcID:
00045411-1996-02.txt
- Documento número 1670633
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
- Artículo:
Interactive Proofs the Hardness of Approximating Cliques
- Autor:
U. Feige
S. Goldwasser
L. Lovász
S. Safra
M. Szegedy
- Página:
268
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
43
- Número:
2
- Periodo:
Marzo 1996
- ISSN:
00045411
- SrcID:
00045411-1996-02.txt
- Documento número 1670634
- Actualizado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:36 p. m.
- Enlace directo
