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
:
19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 ; revised selected papers