Original language | English |
---|---|
Title of host publication | Proc. 20th Conference on Computer Science Logic - CSL'11 |
Place of Publication | Schloss Dagstuhl |
Publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik |
Pages | 458-469 |
Publication status | Published - 2011 |
Event | 20th Conference on Computer Science Logic - CSL'11 - Schloss Dagstuhl Duration: 1 Jan 2011 → 1 Jan 2011 |
Conference
Conference | 20th Conference on Computer Science Logic - CSL'11 |
---|---|
Period | 1/01/11 → 1/01/11 |