Logic-Based Program Synthesis and Transformation - 9783030138370

Alpuente - Logic-Based Program Synthesis and Transformation 20th Int - X555z

Vidal - Logic-Based Program Synthesis and Transformation 21st Interna - X555z

Hermenegildo - Logic-Based Program Synthesis and Transformation 26th - X555z

Deville - Logic Program Synthesis and Transformation Proceedings of - X555z

Leuschel - Logic Based Program Synthesis and Transformation 12th Int - X555z

Etalle - Logic Based Program Synthesis and Transformation 14th Inter - X555z

Flener - Logic-Based Program Synthesis and Transformation 8th Intern - X555z