Efficient rewriting using decision trees - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Master Thesis Year : 2019

Dates and versions

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

Identifiers

  • HAL Id : hal-02317471 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More