Logic-Based Program Synthesis and Transformation - 9783030684457

Hill - Logic Based Program Synthesis and Transformation 15th Interna - X555z

Puebla - Logic-Based Program Synthesis and Transformation 16th Inter - X555z

Fioravanti - Logic-Based Program Synthesis and Transformation 27th I - X555z

Mesnard - Logic-Based Program Synthesis and Transformation 28th Inte - X555z

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

Falaschi - Logic-Based Program Synthesis and Transformation 25th Int - X555z

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