1. importsource = "00045411-2001-06.txt"
Se encontraron 5 resultados.
Artículo:

Monotonic reductions, representative equivalence, and compilation of intractable problems

Autor:

P. Liberatore

Página:

1091

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

48

Número:

6

Periodo:

Noviembre 2001

ISSN:

00045411

SrcID:

00045411-2001-06.txt

  • Documento número 1670783
  • Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Enlace directo
Artículo:

A Laplace transform algorithm for the volume of a Convex Polytope.

Autor:

J. B. Lasserre

E. S. Zeron

Página:

1126

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

48

Número:

6

Periodo:

Noviembre 2001

ISSN:

00045411

SrcID:

00045411-2001-06.txt

  • Documento número 1670784
  • Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Enlace directo
Artículo:

Managing Periodically Updated Data in Relational Databases: A stochastic modeling approach

Autor:

A. Gal

J. Eckstein

Página:

1141

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

48

Número:

6

Periodo:

Noviembre 2001

ISSN:

00045411

SrcID:

00045411-2001-06.txt

  • Documento número 1670785
  • Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Enlace directo
Artículo:

Deciding First-Order Properties of Locally Tree-Decomposable structures

Autor:

M. Frick

M. Grohe

Página:

1184

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

48

Número:

6

Periodo:

Noviembre 2001

ISSN:

00045411

SrcID:

00045411-2001-06.txt

  • Documento número 1670786
  • Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Enlace directo
Artículo:

Logic in computer science Register-Machine Based processes

Autor:

J. A. Bergstra

A. Ponse

Página:

1207

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

48

Número:

6

Periodo:

Noviembre 2001

ISSN:

00045411

SrcID:

00045411-2001-06.txt

  • Documento número 1670787
  • Actualizado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:38 p. m.
  • Enlace directo