Efficient rewriting using decision trees - Inria - Institut national de recherche en sciences et technologies du numérique
Mémoires D'étudiants -- Hal-Inria+ Année : 2019

Efficient rewriting using decision trees

Réécriture efficace par arbres de décision

Domaines

Logique en informatique [cs.LO] Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
main.pdf (884.95 Ko) Télécharger le fichier
titlepage.pdf (562.42 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Gabriel Hondet  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 16 octobre 2019-09:55:14

Dernière modification le : lundi 20 novembre 2023-11:44:21

Archivage à long terme le : vendredi 17 janvier 2020-13:28:22

Télécharger pour visualiser

Dates et versions

hal-02317471 , version 1 (16-10-2019)

Identifiants

  • HAL Id : hal-02317471 , version 1

Citer

Gabriel Hondet. Efficient rewriting using decision trees. Logic in Computer Science [cs.LO]. 2019. ⟨hal-02317471⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENAC CNRS INRIA ENS-CACHAN INRIA2 UNIV-PARIS-SACLAY OPTIM ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE UNIV-UT3 UT3-TOULOUSEINP
198 Consultations
514 Téléchargements

Partager

More