1. importsource = "00045411-2007-02.txt"
Se encontraron 24 resultados.
Artículo:

Deciding equivalences among conjunctive aggregate queries

Autor:

Sara Cohen

Werner Nutt

Yehoshua Sagiv

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 252927
  • Actualizado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Creado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Enlace directo
Artículo:

A characterization of regular expressions under bisimulation

Autor:

J. C. M. Baeten

F. Corradini

C. A. Grabmayer

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 252928
  • Actualizado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Creado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Enlace directo
Artículo:

The rational numbers as an abstract data type

Autor:

J. A. Bergstra

J. V. Tucker

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 252929
  • Actualizado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Creado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Enlace directo
Artículo:

The measurement calculus

Autor:

Vincent Danos

Elham Kashefi

Prakash Panangaden

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 252930
  • Actualizado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Creado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Enlace directo
Artículo:

Fast computation of low-rank matrix approximations

Autor:

Dimitris Achlioptas

Frank Mcsherry

Página:

1

Publicación:

Journal of the ACM

Volúmen:

54

Número:

2

Periodo:

Abril 2007

ISSN:

00045411

SrcID:

00045411-2007-02.txt

  • Documento número 252931
  • Actualizado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Creado el martes, 23 de mayo de 2017 03:53:20 p. m.
  • Enlace directo