- importsource = "00045411-1998-04.TXT"
Se encontraron 4 resultados.
- Artículo:
Formal Verification of Complex Coherence Protocols Using Symbolic State Models
- Autor:
F. Pong
M. Dubois
- Página:
557
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
45
- Número:
4
- Periodo:
Julio 1998
- ISSN:
00045411
- SrcID:
00045411-1998-04.TXT
- Documento número 1670685
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases
- Autor:
M. Kifer
- Página:
588
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
45
- Número:
4
- Periodo:
Julio 1998
- ISSN:
00045411
- SrcID:
00045411-1998-04.TXT
- Documento número 1670686
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
A Threshold of in for Approximating Set Cover
- Autor:
U. Feige
- Página:
634
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
45
- Número:
4
- Periodo:
Julio 1998
- ISSN:
00045411
- SrcID:
00045411-1998-04.TXT
- Documento número 1670687
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- Artículo:
Property Testing and Its Connection to Learning and Approximation
- Autor:
O. Goldreich
S. Goldwasser
D. Ron
- Página:
653
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
45
- Número:
4
- Periodo:
Julio 1998
- ISSN:
00045411
- SrcID:
00045411-1998-04.TXT
- Documento número 1670688
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
- 1-4