Logic program synthesis and transformation

Descrição: This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformati... Veja mais