Skip to Main content Skip to Navigation
Reports

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 metadata

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 : Thursday, November 19, 2020 - 1:00:20 PM
Long-term archiving on: : Sunday, December 4, 2016 - 8:44:57 AM

File

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

Identifiers

  • HAL Id : inria-00339184, version 2

Collections

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

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

385

Files downloads

411

 

Contact                    Legal Notice                    Personal Data