- isn = "00045411"
- 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 791982
- 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:
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 791983
- 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:
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 791984
- 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:
Security analysis of cryptographically controlled access to XML documents
- Autor:
Martín Abadi
Bogdan Warinschi
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
55
- Número:
2
- Periodo:
Abril 2008
- ISSN:
00045411
- SrcID:
00045411-2008-02.txt
- Documento número 791985
- 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:
XML data exchange: Consistency and query answering El intercambio de datos
- Autor:
Marcelo Arenas
Leonid Libkin Marcelo Arenas
Leonid Libkin
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
55
- Número:
2
- Periodo:
Abril 2008
- ISSN:
00045411
- SrcID:
00045411-2008-02.txt
- Documento número 791986
- 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
