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

Efficient rewriting using decision trees

Réécriture efficace par arbres de décision

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)
Loading...

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⟩
180 Consultations
448 Téléchargements

Partager

Gmail Facebook X LinkedIn More