by International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England)
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June…