Original language | English |
---|---|
Pages | 233-247 |
Number of pages | 15 |
Publication status | Published - 31 Aug 2011 |
Event | Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL - Duration: 31 Aug 2011 → … |
Conference
Conference | Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL |
---|---|
Period | 31/08/11 → … |