You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
Logic based program synthesis and transformation
:
14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004; revised selected papers