Skip to Main content Skip to Navigation
Master thesis

Efficient rewriting using decision trees

Complete list of metadata

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/hal-02317471
Contributor : Gabriel Hondet <>
Submitted on : Wednesday, October 16, 2019 - 9:55:14 AM
Last modification on : Monday, February 15, 2021 - 10:50:27 AM
Long-term archiving on: : Friday, January 17, 2020 - 1:28:22 PM

Files

Identifiers

  • HAL Id : hal-02317471, version 1

Citation

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

Share

Metrics

Record views

158

Files downloads

620