Original language | English |
---|---|
Pages | 443-452 |
Number of pages | 10 |
DOIs | |
Publication status | Published - 10 Jul 2007 |
Event | 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), University of Wroclaw, Poland, 10-14 July 2007 - Duration: 10 Jul 2007 → … |
Conference
Conference | 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), University of Wroclaw, Poland, 10-14 July 2007 |
---|---|
Period | 10/07/07 → … |