XML Reasoning Solver User Manual

Pierre Genevès 1 Nabil Layaïda 1 Vojtech Knyttl 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This manual provides documentation for using the XML reasoning solver.
Keywords : Solver Satisfiability XML XPath Static Analysis Containment Reasoning
Document type :
Reports
[Research Report] RR-6726, INRIA. 2011
Liste complète des métadonnées

Cited literature [12 references]  Display  Hide  Download
https://hal.inria.fr/inria-00339184
Contributor : Pierre Genevès <>
Submitted on : Monday, August 22, 2011 - 9:26:42 AM
Last modification on : Saturday, September 17, 2016 - 1:38:18 AM
Document(s) archivé(s) le : Sunday, December 4, 2016 - 8:44:57 AM

File

RR-6726.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00339184, version 2

Collections

INRIA | LIG | INRIA-RRRT | UGA | LARA | LIG_SRCPR

Citation

Pierre Genevès, Nabil Layaïda, Vojtech Knyttl. XML Reasoning Solver User Manual. [Research Report] RR-6726, INRIA. 2011. 〈inria-00339184v2〉

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

270

Document downloads

171

Contact


archive-ouverte@inria.fr