Workshop on Logic Program Synthesis and Transformation (LOPSTR'93), Date: 1993/07/07 - 1993/07/09, Location: Louvain-la-Neuve, Belgium
Publication date:
1994-01-01
Pages:
210 -
228
ISSN:
3-540-19864-4
Publisher:
Springer
Logic Program Synthesis and Transformation (LOPSTR'93)
Author:
Boulanger, Dmitri
Bruynooghe, Maurice ; Deville, Yves
Keywords:
Science & Technology, Technology, Computer Science, Software Engineering, Computer Science