LOPSTR 2001: International Symposium on Logic-Based Program Synthesis and Transformation - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Submissions:
Notification:
Event:	-

Kung-Kiu Lau, editor, Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Volume 2042 of Lecture Notes in Computer Science, Springer, 2001.
Alberto Pettorossi, editor, Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers. Volume 2372 of Lecture Notes in Computer Science, Springer, 2001.