Back to Results
First PageMeta Content
XML / Symbol / Icosidodecahedron / Computing / Archimedean solids / Technical communication


ON THE COMPLEXITY OF VERIFYING CONSISTENCY OF XML SPECIFICATIONS∗ MARCELO ARENAS† , WENFEI FAN‡ , AND LEONID LIBKIN§ Abstract. XML specifications often consist of a type definition (typically, a DTD) and a set o
Add to Reading List

Document Date: 2008-01-30 05:47:39

Open Document

File Size: 560,76 KB

Share Result on Facebook

City

Edmonton / Santiago / Toronto / Winnipeg / Edinburgh / /

Company

Database Systems / /

Country

Belgium / Netherlands / Canada / United Kingdom / Chile / /

Currency

pence / /

/

Facility

University of Edinburgh / /

Organization

Central Intelligence Agency / Universidad Cat´ / University of Edinburgh / European Union / School of Informatics / /

Person

LEONID LIBKIN / MARCELO ARENAS / Vert / /

Position

professor / /

ProgrammingLanguage

XML / XQuery / XML Schema / /

ProvinceOrState

Alberta / Manitoba / Ontario / /

Technology

XML / DTD / DOM / /

SocialTag