XML Reasoning Solver User Manual

Pierre Genevès; Nabil Layaïda; Vojtech Knyttl

Reports (Research Report) Year : 2011

XML Reasoning Solver User Manual

(1) , (1) , (1)

Pierre Genevès

Function : Author
PersonId : 9676
IdHAL : pierre-geneves
ORCID : 0000-0001-7676-2755
IdRef : 117936324

Web, adaptation and multimedia

Nabil Layaïda

Function : Author
PersonId : 21665
IdHAL : nabil-layaida
ORCID : 0000-0001-8472-9365
IdRef : 15031504X

Web, adaptation and multimedia

Vojtech Knyttl

Function : Author

Web, adaptation and multimedia

Abstract

This manual provides documentation for using the XML reasoning solver.

Ce manuel documente l'utilisation du solveur logique décrit dans\cite{geneves-phd06,geneves-pldi07,geneves-rr08a}.}

Keywords

Solver Satisfiability XML XPath Static Analysis Containment Reasoning

Domains

Programming Languages [cs.PL] Web Databases [cs.DB]

Fichier principal

RR-6726.pdf (764.23 Ko)

Origin : Publisher files allowed on an open archive

Pierre Genevès : Connect in order to contact the contributor

https://inria.hal.science/inria-00339184

Submitted on : Monday, August 22, 2011-9:26:42 AM

Last modification on : Thursday, April 4, 2024-9:22:43 PM

Long-term archiving on: Sunday, December 4, 2016-8:44:57 AM

Dates and versions

inria-00339184 , version 1 (17-11-2008)

inria-00339184 , version 2 (22-08-2011)

Identifiers

HAL Id : inria-00339184 , version 2

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 UGA CNRS INRIA IRISA INRIA-RRRT LIG INRIA2 LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM LIG_SIDCH

227 View

563 Download

XML Reasoning Solver User Manual

Abstract

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share