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⟩
182 Consultations
474 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More