Difference between revisions of "CSL 2011"
Jump to navigation
Jump to search
Line 13: | Line 13: | ||
|presence=presence | |presence=presence | ||
|has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol12-csl2011-complete.pdf | |has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol12-csl2011-complete.pdf | ||
+ | |has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2011.i | ||
|has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11007 | |has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=11007 | ||
}} | }} | ||
The 25th International Workshop on Computer Science Logic (CSL) 2011 | The 25th International Workshop on Computer Science Logic (CSL) 2011 |
Revision as of 11:54, 17 August 2021
CSL 2011 | |
---|---|
25th International Workshop on Computer Science Logic
| |
Ordinal | 25 |
Event in series | CSL |
Dates | 2011/09/12 (iCal) - 2011/09/15 |
Presence | presence |
Homepage: | https://www.eacsl.org/csl11/ |
Location | |
Location: | Bergen, Norway |
Table of Contents | |
,
The 25th International Workshop on Computer Science Logic (CSL) 2011