- importsource = "00045411-2004-02.txt"
Se encontraron 7 resultados.
- Artículo:
On sufficient conditions for satisfiability of random formulas
- Autor:
A. Atserias
- Página:
281
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
51
- Número:
2
- Periodo:
Marzo 2004
- ISSN:
00045411
- SrcID:
00045411-2004-02.txt
- Documento número 1670850
- Actualizado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Enlace directo
- Artículo:
Existential second-order logic over graphs: charting the tractability frontier
- Autor:
G. Gottlob
P. G. Kolaitis
T. Schwentick
- Página:
312
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
51
- Número:
2
- Periodo:
Marzo 2004
- ISSN:
00045411
- SrcID:
00045411-2004-02.txt
- Documento número 1670851
- Actualizado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:39 p. m.
- Enlace directo
- 1-5
- 6-7
