- pub = ("Journal of the Association for Computing Machinery")
- Artículo:
Designing Programs that Check Their Work
- Autor:
M. Blum
S. Kannan
- Página:
269
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
1
- Periodo:
Enero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-01.TXT
- Documento número 1670599
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
Provably Correct Theories of Action
- Autor:
F. Lin
Y. Shoham
- Página:
293
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670600
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
A Randomized Linear-Time Algorithm to Find Minimum Spanning Trees
- Autor:
D. R Karger
P. N. Klein
R. E. Tarjan
- Página:
321
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670601
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
Decomposition of Magic Rewriting
- Autor:
K. Wang, W. Zhang
S.-C. Chau
- Página:
329
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670602
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
- Artículo:
On the Average Communication Complexity of Asynchronous Distributed Algorithms
- Autor:
J. N. Tsitsiklis
G. D. Stamoulis
- Página:
382
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
42
- Número:
2
- Periodo:
Febrero 1995
- ISSN:
00045411
- SrcID:
00045411-1995-02.TXT
- Documento número 1670603
- Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
- Enlace directo
