Logic program synthesis and transformation proceedings of lopstr 91 international workshop on logic program synthesis and transformation university of manchester 4 5 july 1991 clement timothy p lau kung kiu 9783540197423 books amazonca. Proceedings of lopstr 91 international workshop on logic program synthesis and transformation university of manchester 4 5 july 1991 editors view affiliations timothy paul clement kung kiu lau conference proceedings 48 citations 582 downloads part of the workshops in computing book series workshops comp log in to check access buy ebook usd 8499 instant download readable on . Logic program synthesis and transformation proceedings of lopstr 91 international workshop on logic program synthesis and transformation university of manchester 4 5 july 1991 author tp clement mar 1992 tp clement books amazonca. Transformation strategies are also being widely used in the field of logic program development lopstr 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and as such filled an obvious gap in the existing range of logic programming workshops in attempting to cover the subject as comprehensively . Logic program synthesis and transformation proceedings of lopstr 91 international workshop on logic program synthesis and transformation university 4 5 july 1991 workshops in computing 1992 03 25 unknown books amazonca