Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (24 papers)
Editors and Affiliations
Bibliographic Information
Book Title: Logic Program Synthesis and Transformation
Book Subtitle: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991
Editors: Timothy Paul Clement, Kung-Kiu Lau
Series Title: Workshops in Computing
DOI: https://doi.org/10.1007/978-1-4471-3494-7
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London 1992
Softcover ISBN: 978-3-540-19742-3Published: 25 February 1992
eBook ISBN: 978-1-4471-3494-7Published: 17 April 2013
Series ISSN: 1431-1682
Edition Number: 1
Number of Pages: X, 337
Additional Information: Jointly published with the British Computer Society
Topics: Programming Techniques, Mathematical Logic and Formal Languages, Logics and Meanings of Programs