Logic-based program synthesis and transformation

Descrição: This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and trans... Veja mais