UNIVERSITA' CA' FOSCARI DI VENEZIA

Dipartimento di Informatica, via Torino 155 - I 30172 Mestre-Venezia, Italy

Technical Report Series in Computer Science
Rapporto di Ricerca CS-99-16

ELECTRONIC PROCEEDINGS

of

LOPSTR'99

9th International Workshop on
Logic-based Program Synthesis and Transformation

Venezia, Italy, 22 - 24 September 1999

 

Preface   pdf  poscript  by Annalisa Bossi (program chair)

Invited Talk

Tutorials

Contributions

Posters