- importsource = "00045411-2007-01.txt"
Se encontraron 16 resultados.
- Artículo:
Polymorphic higher-order recursive path orderings
- Autor:
Jean-Pierre Jouannaud
Albert Rubio
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
1
- Periodo:
Enero 2007
- ISSN:
00045411
- SrcID:
00045411-2007-01.txt
- Documento número 1145543
- 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:
Polynomial-time quantum algorithms for Pell's equation and the principal ideal problem
- Autor:
Sean Hallaren
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
1
- Periodo:
Enero 2007
- ISSN:
00045411
- SrcID:
00045411-2007-01.txt
- Documento número 1145544
- 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:
Speed scaling to manage energy and temperature
- Autor:
Nikhil Bansal
Tracy Kimbrel
Kirk Pruhs
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
1
- Periodo:
Enero 2007
- ISSN:
00045411
- SrcID:
00045411-2007-01.txt
- Documento número 1145545
- 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:
The complexity of homomorphism and constraint satisfaction problems seen from the other side
- Autor:
Martin Grohe
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
1
- Periodo:
Enero 2007
- ISSN:
00045411
- SrcID:
00045411-2007-01.txt
- Documento número 791954
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
Polymorphic higher-order recursive path orderings
- Autor:
Jean-Pierre Jouannaud
Albert Rubio
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
1
- Periodo:
Enero 2007
- ISSN:
00045411
- SrcID:
00045411-2007-01.txt
- Documento número 791955
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
