Difference between revisions of "CSL 2007"

From Openresearch
Jump to navigation Jump to search
(Created page with "{{Event |Acronym=CSL 2007 |Title=21th International Workshop on Computer Science Logic |Ordinal=21 |Series=CSL |Type=Workshop |Start date=2007/09/11 |End date=2007/09/15 |Dblp...")
 
(Added page provenance(#264) and contribution type(#271))
 
Line 16: Line 16:
 
|has Proceedings DOI=https://doi.org/10.1007/978-3-540-74915-8
 
|has Proceedings DOI=https://doi.org/10.1007/978-3-540-74915-8
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-540-74915-8
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-540-74915-8
 +
|pageCreator=Tolga.karaarslan
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
 
The 21th International Workshop on Computer Science Logic (CSL) 2007
 
The 21th International Workshop on Computer Science Logic (CSL) 2007

Latest revision as of 20:20, 1 April 2022

CSL 2007
21th International Workshop on Computer Science Logic
Ordinal 21
Event in series CSL
Dates 2007/09/11 (iCal) - 2007/09/15
Presence presence
Location
Location: Lausanne, Switzerland
Loading map...

Papers: Submitted 116 / Accepted 36 (31 %)
Table of Contents

,



The 21th International Workshop on Computer Science Logic (CSL) 2007