1. importsource = "00045411-2008-01.txt"
Se encontraron 20 resultados.
Artículo:

Towards 3-query locally decodable codes of subexponential length.

Autor:

Sergey Yekhanin:

Página:

1

Publicación:

Journal of the ACM

Volúmen:

55

Número:

1

Periodo:

Enero 2008

ISSN:

00045411

SrcID:

00045411-2008-01.txt

  • Documento número 1145568
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

On the minimization of XPath queries.

Autor:

Sergio Flesca

Filippo Furfaro

Elio Masciari

Página:

1

Publicación:

Journal of the ACM

Volúmen:

55

Número:

1

Periodo:

Enero 2008

ISSN:

00045411

SrcID:

00045411-2008-01.txt

  • Documento número 1145569
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

Bit complexity of breaking and achieving symmetry in chains and rings.

Autor:

Yefim Dinitz

Shlomo Moran

Sergio Rajsbaum

Página:

1

Publicación:

Journal of the ACM

Volúmen:

55

Número:

1

Periodo:

Enero 2008

ISSN:

00045411

SrcID:

00045411-2008-01.txt

  • Documento número 1145570
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

A formal foundation for XrML.

Autor:

Joseph Y. Halpern

Vicky Weissman:

Página:

1

Publicación:

Journal of the ACM

Volúmen:

55

Número:

1

Periodo:

Enero 2008

ISSN:

00045411

SrcID:

00045411-2008-01.txt

  • Documento número 1145571
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo
Artículo:

Undecidability of bisimilarity by defender's forcing.

Autor:

Petr Jancar

Jirí Srba

Página:

1

Publicación:

Journal of the ACM

Volúmen:

55

Número:

1

Periodo:

Enero 2008

ISSN:

00045411

SrcID:

00045411-2008-01.txt

  • Documento número 1145572
  • Actualizado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Creado el martes, 10 de julio de 2018 11:26:08 a. m.
  • Enlace directo