- importsource = "00045411-2005-06.txt"
- Artículo:
Time-Space Lower Bounds for Satisfiability
- Autor:
L. Fortnow
R. Lipton
D. van Melkebeek
A. Viglas
- Página:
835
- Sección:
Complexity Theory
- Publicación:
Journal of the ACM
- Volúmen:
52
- Número:
6
- Periodo:
Noviembre 2005
- ISSN:
00045411
- SrcID:
00045411-2005-06.txt
- Documento número 252888
- 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:
Subexponential Parameterized Algorithms on Bounded-Genus Grapas and H-Minor-Free Grapas
- Autor:
E. D. Demaine
F. V. Fomin
M. Hajiaghayi
D.M. Thilikos
- Página:
866
- Sección:
Graph Algorithms
- Publicación:
Journal of the ACM
- Volúmen:
52
- Número:
6
- Periodo:
Noviembre 2005
- ISSN:
00045411
- SrcID:
00045411-2005-06.txt
- Documento número 252889
- 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:
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
- Autor:
A. Banerjee
D.A. Naumann
- Página:
894
- Sección:
Programming Languages
- Publicación:
Journal of the ACM
- Volúmen:
52
- Número:
6
- Periodo:
Noviembre 2005
- ISSN:
00045411
- SrcID:
00045411-2005-06.txt
- Documento número 252890
- 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:
Behavioral Theory for Mobile Ambients
- Autor:
M. Merro
F. Zappa Nardelli
- Página:
961
- Sección:
Programming Languages
- Publicación:
Journal of the ACM
- Volúmen:
52
- Número:
6
- Periodo:
Noviembre 2005
- ISSN:
00045411
- SrcID:
00045411-2005-06.txt
- Documento número 252891
- 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:
Time-Space Lower Bounds for Satisfiability
- Autor:
L. Fortnow
R. Lipton
D. van Melkebeek
A. Viglas
- Página:
835
- Sección:
Complexity Theory
- Publicación:
Journal of the ACM
- Volúmen:
52
- Número:
6
- Periodo:
Noviembre 2005
- ISSN:
00045411
- SrcID:
00045411-2005-06.txt
- Documento número 525832
- Actualizado el martes, 10 de julio de 2018 10:11:46 a. m.
- Creado el martes, 10 de julio de 2018 10:11:46 a. m.
- Enlace directo
