Original language | English |
---|
Publisher | IT-Universitetet i København |
---|---|
Volume | TR-2011-148 |
Number of pages | 126 |
ISBN (Electronic) | TR-2011-148 |
Publication status | Published - 1 Dec 2011 |
Espen Højsgaard, Jean Krivine
Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
Original language | English |
---|
Publisher | IT-Universitetet i København |
---|---|
Volume | TR-2011-148 |
Number of pages | 126 |
ISBN (Electronic) | TR-2011-148 |
Publication status | Published - 1 Dec 2011 |