- importsource = "00045411-1997-02.TXT"
- Artículo:
Semiring-Based Constraint Satisfaction and Optimization
- Autor:
S. Bistarelli
U. Montanari
F. Rossi
- Página:
201
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
2
- Periodo:
Marzo 1997
- ISSN:
00045411
- SrcID:
00045411-1997-02.TXT
- Documento número 1670657
- 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:
Complexity of algorithms. Two Heads Are Better than Two Tapes
- Autor:
T. Jiang
J. I Seiferas R
P. M. B. Vitanyi
- Página:
237
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
2
- Periodo:
Marzo 1997
- ISSN:
00045411
- SrcID:
00045411-1997-02.TXT
- Documento número 1670658
- 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:
Dynamic Word Problems
- Autor:
G. Skovbjerg Frandsen
P. Bro Miltersen
S. Skyum
- Página:
257
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
2
- Periodo:
Marzo 1997
- ISSN:
00045411
- SrcID:
00045411-1997-02.TXT
- Documento número 1670659
- 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:
On the Completeness of Object-Creating Database Transformation Languages
- Autor:
J. Van den Bussche
D. Van Gucht
M. Andries
M. Gyssens
- Página:
272
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
2
- Periodo:
Marzo 1997
- ISSN:
00045411
- SrcID:
00045411-1997-02.TXT
- Documento número 1670660
- 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:
Deductive systems and equational reasoning Decomposition of Tautologies into Regular Formulas and Strong Completeness of Connection-Graph Resolution
- Autor:
W. Bibel
E. Eder
- Página:
320
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
2
- Periodo:
Marzo 1997
- ISSN:
00045411
- SrcID:
00045411-1997-02.TXT
- Documento número 1670661
- 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
- 1-5
- 6-6