Logic-Based Program Synthesis and Transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / edited by Annalisa Bossi.
This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computationa...
Full description
Saved in: