Marcelo Arenas, Wenfei Fan and Leonid Libkin. (2002) On Verifying Consistency of XML Specifications. Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS02), Madison, USA, pages 259-270. (2002)

On Verifying Consistency of XML Specifications.

Páginas : pages 259-270
Tipo de publicación : Otros

On Verifying Consistency of XML Specifications.

Abstract