Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers 1999 · ENGLISH · PDF View details →
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR’98 Manchester, UK, June 15–19, 1998 Selected Papers 1999 · ENGLISH · PDF View details →
