Path
Home
News
The Centre
Research Groups
People
Projects
Publications
Tech Reports
Open Positions
Events
How to get to CISUC
Member Access
People
Danny De Schreye
Email
Member
Cognitive and Media Systems
Export publications Citations
Export publications BibTeX
Tech Report
2009
(1 publication)
Quaresma, P. and Schreye, D.D. , "Preliminary Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009", 2009