Logic-Based Program Synthesis and Transformation

Books Year : 2019

(1) , (2)

1
2

Frédéric Mesnard

Peter J Stuckey

Computer Science [cs] Logic in Computer Science [cs.LO]

https://hal.univ-reunion.fr/hal-02293707

Submitted on : Saturday, September 21, 2019-4:10:10 PM

Last modification on : Wednesday, October 26, 2022-8:12:44 AM

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

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