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
Résumé : Ce manuel documente l'utilisation du solveur logique décrit dans\cite{geneves-phd06,geneves-pldi07,geneves-rr08a}.}
Type de document :
Rapport
[Research Report] RR-6726, INRIA. 2011
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00339184
Contributeur : Pierre Genevès <>
Soumis le : lundi 22 août 2011 - 09:26:42
Dernière modification le : samedi 17 septembre 2016 - 01:38:18
Document(s) archivé(s) le : dimanche 4 décembre 2016 - 08:44:57

Fichier

RR-6726.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00339184, version 2

Collections

Citation

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

Partager

Métriques

Consultations de la notice

270

Téléchargements de fichiers

174