| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) |
| Volume | Report CW 625 |
| Place of Publication | Leuven |
| Publisher | Katholieke Universiteit Leuven |
| Publication date | Sept 2012 |
| Pages | 3-17 |
| Publication status | Published - Sept 2012 |
| Event | 22nd International Symposium on Logic-Based Program Synthesis and Transformation - Departement of Computer Science KU Leuven Celestijnenlaan 200A 3001 Heverlee - Belgie, Leuven, Belgium Duration: 18 Sept 2012 → 20 Sept 2012 |
Conference
| Conference | 22nd International Symposium on Logic-Based Program Synthesis and Transformation |
|---|---|
| Location | Departement of Computer Science KU Leuven Celestijnenlaan 200A 3001 Heverlee - Belgie |
| Country/Territory | Belgium |
| City | Leuven |
| Period | 18/09/2012 → 20/09/2012 |
Projects
- 1 Finished
-
Logic-statistic modelling and analysis of biological sequence data
Christiansen, H. (Project participant), Gallagher, J. P. (Project participant), Skovgaard, O. (Project participant), Pedersen, M. B. (Project participant), Garrigues, C. (Project participant), Jaeger, M. (Project participant), Forsberg, R. (Project participant), Steffensen, P. J. (Project participant), Knudsen, T. (Project participant), Knudsen, B. (Project participant), Krogh, A. (Project participant) & Sato, T. (Project participant)
01/05/2007 → 31/12/2012
Project: Research
Citation Styles
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver