Skip to Main content Skip to Navigation
Directions of work or proceedings

Logic-Based Program Synthesis and Transformation

Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.univ-reunion.fr/hal-02293707
Contributor : Frédéric Mesnard <>
Submitted on : Saturday, September 21, 2019 - 4:10:10 PM
Last modification on : Sunday, September 22, 2019 - 1:20:09 AM

Identifiers

  • HAL Id : hal-02293707, version 1

Collections

Citation

Frédéric Mesnard, Peter Stuckey. Logic-Based Program Synthesis and Transformation. 2019. ⟨hal-02293707⟩

Share

Metrics

Record views

67