Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (19 papers)
-
Front Matter
About this book
Editors and Affiliations
-
Unité d’Informatique, Université Catholique de Louvain, Louvain-la-Neuve, Belgium
Yves Deville
Bibliographic Information
Book Title: Logic Program Synthesis and Transformation
Book Subtitle: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993
Editors: Yves Deville
Series Title: Workshops in Computing
DOI: https://doi.org/10.1007/978-1-4471-3234-9
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: British Computer Society 1994
Softcover ISBN: 978-3-540-19864-2Published: 28 January 1994
eBook ISBN: 978-1-4471-3234-9Published: 06 December 2012
Series ISSN: 1431-1682
Edition Number: 1
Number of Pages: XII, 245
Topics: Programming Techniques, Logics and Meanings of Programs, Mathematical Logic and Formal Languages