Browsing "Computer Science publications" by Author International Workshop on Logic Program Synthesis and Transformation (2002 : Madrid, Spain)
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2003 | Refinement of higher-order logic programs | Colvin, R.; Hayes, I.; Hemer, D.; Strooper, P.; International Workshop on Logic Program Synthesis and Transformation (2002 : Madrid, Spain) |