Logic based program synthesis and transformation
Subtitle: 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers
By: Maurice Bruynooghe (ed.).
Contributors: Bruynooghe, M.
Series: Lecture notes in computer science -- 3018.
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 232
Subjects: Logic programming -- Congresses.
Genres: Congresses.
Other titles: LOPSTR 2003.
Notes: Includes bibliographical references and index.