Edinburgh Research Explorer

On Verifying Consistency of XML Specifications

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

On Verifying Consistency of XML Specifications. / Arenas, Marcelo; Fan, Wenfei; Libkin, Leonid.

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA. ACM, 2002. p. 259-270.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Arenas, M, Fan, W & Libkin, L 2002, On Verifying Consistency of XML Specifications. in Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA. ACM, pp. 259-270. https://doi.org/10.1145/543613.543647

APA

Arenas, M., Fan, W., & Libkin, L. (2002). On Verifying Consistency of XML Specifications. In Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA (pp. 259-270). ACM. https://doi.org/10.1145/543613.543647

Vancouver

Arenas M, Fan W, Libkin L. On Verifying Consistency of XML Specifications. In Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA. ACM. 2002. p. 259-270 https://doi.org/10.1145/543613.543647

Author

Arenas, Marcelo ; Fan, Wenfei ; Libkin, Leonid. / On Verifying Consistency of XML Specifications. Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, Madison, Wisconsin, USA. ACM, 2002. pp. 259-270