- isn = "00045411"
- 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
- Artículo:
Evaluating Uniform Expressions Within Two Steps of Minimum Parallel Time
- Autor:
R. A. Wagner
- Página:
345
- 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 1670662
- 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 Becoming Editor-in-Chief of JACM
- Autor:
Joseph Halpern
- Página:
363
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
3
- Periodo:
Mayo 1997
- ISSN:
00045411
- SrcID:
00045411-1997-03.TXT
- Documento número 1670663
- 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:
Computer system modeling and analysis. Exponential Bounds with Applications to Call Admission
- Autor:
Z. Liu
P. Nain
D. Towsley
- Página:
366
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
44
- Número:
3
- Periodo:
Mayo 1997
- ISSN:
00045411
- SrcID:
00045411-1997-03.TXT
- Documento número 1670664
- 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