Logic-based program synthesis and transformation
Subtitle: 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers
By: Andy King (ed.).
Contributors: King, Andrew Malcolm.
Series: Lecture notes in computer science -- 4915
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 217
ISBN-13: 9783540787686
Subjects: Logic programming -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.