- isn = "00045411"
- 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
- Artículo:
XPath satisfiability in the presence of DTDs
- Autor:
Michael Benedikt
Wenfei Fan
Floris Geerts Michael Benedikt
Wenfei ventilador
Floris Geerts
- 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 791987
- 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:
Efficient core computation in data exchange
- Autor:
Georg Gottlob
Alan Nash Georg Gottlob
Alan Nash
- 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 791988
- 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
