- importsource = "00045411-2003-05.txt"
- Artículo:
Reasoning about temporal relations, the tractable subalgebras of Allen's interval algebra
- Autor:
A. Krokhin
P. Jeavons
P. Jonsson
- Página:
591
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
5
- Periodo:
Septiembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-05.txt
- Documento número 1670831
- 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:
The geometric maximum traveling salesman problem
- Autor:
A. Barvinok
S. P. Fekete
D. S. Johnson
A. Tamir
- Página:
641
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
5
- Periodo:
Septiembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-05.txt
- Documento número 1670832
- 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:
The performance of difference coding for sets and relation tables
- Autor:
W. B. Wu
C. V. Ravishankar
- Página:
665
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
5
- Periodo:
Septiembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-05.txt
- Documento número 1670833
- 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:
Definable relations first-order query languages over strings
- Autor:
M. Benedikt
L. Libkin
T. Schwentick
L. Segoufin
- Página:
694
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
5
- Periodo:
Septiembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-05.txt
- Documento número 1670834
- 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:
Counterexample-guided abstraction refinement for symbolic model checking
- Autor:
E. Clarke
O. Grumberg
S. Jha
Y. Lu
H. Veith
- Página:
752
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
50
- Número:
5
- Periodo:
Septiembre 2003
- ISSN:
00045411
- SrcID:
00045411-2003-05.txt
- Documento número 1670835
- 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