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
Complete list of metadatas

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 : Friday, October 25, 2019 - 2:00:59 AM
Long-term archiving on: 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

CNRS | INRIA | LIG | INRIA-RRRT | UGA | LARA

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

355

Files downloads

295

 

 

Contact

archive-ouverte@inria.fr