Logic based program synthesis and transformation
Subtitle: 10th International Workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers
By: Kung-Kiu Lau (ed.).
Contributors: Lau, K.-K. 1953-
Series: Lecture notes in computer science -- 2042
Publisher: Springer
Published: 2001
Place of publication: Berlin; New York
Language: eng
Number of pages: 181
Subjects: Logic programming -- Congresses.
Genres: Congresses.
Notes: Earlier conference under: "International Workshop on Logic Based Program Synthesis and Transformation".

Includes bibliographical references and index.