Logic-Based Program Synthesis and Transformation - Archive ouverte HAL Access content directly
Books Year : 2019

Logic-Based Program Synthesis and Transformation

(1) , (2)
1
2
Not file

Dates and versions

hal-02293707 , version 1 (21-09-2019)

Identifiers

  • HAL Id : hal-02293707 , version 1

Cite

Frédéric Mesnard, Peter J Stuckey (Dir.). Logic-Based Program Synthesis and Transformation. 2019. ⟨hal-02293707⟩
28 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More