Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers /

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 1998. The 16 revised full papers presented were carefully reviewed and selected during three round...

Full description

Bibliographic Details

Corporate Authors:	International Workshop on Logic-based Program Synthesis and Transformation Manchester, England, SpringerLink (Online service)
Other Authors:	Flener, Pierre, 1964-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 1999.
Series:	Lecture notes in computer science ; 1559.
Subjects:	Logic programming > Congresses. Logic programming. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book