Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Original language | English |
---|---|
Title of host publication | Fields of Logic and Computation - Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday |
Pages | 414-443 |
Number of pages | 30 |
DOIs | |
Publication status | Published - 20 Sept 2010 |
Event | 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, and 19th EACSL Annual Conference on Computer Science Logic, CSL 2010 - Brno, Czech Republic Duration: 22 Aug 2010 → 22 Aug 2010 |
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 6300 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference | 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, and 19th EACSL Annual Conference on Computer Science Logic, CSL 2010 |
---|---|
Country/Territory | Czech Republic |
City | Brno |
Period | 22/08/2010 → 22/08/2010 |
ID: 7881234