| Original language | English |
|---|---|
| Pages | 211-220 |
| Number of pages | 10 |
| Publication status | Published - 2000 |
| Event | Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) - Volume 00 - Turku, Finland Duration: 1 Jul 2004 → … |
Conference
| Conference | Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) - Volume 00 |
|---|---|
| Country/Territory | Finland |
| City | Turku |
| Period | 1/07/04 → … |