International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England) profile picture

International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

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