Difference between revisions of "CSL 1997"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
 
|Acronym=CSL 1997
 
|Acronym=CSL 1997
|Title=11th Workshop on Computer Science Logic
+
|Title=11th International Workshop on Computer Science Logic
 
|Ordinal=11
 
|Ordinal=11
 
|Series=CSL
 
|Series=CSL
Line 15: Line 15:
 
|has Proceedings DOI=https://doi.org/10.1007/BFb0028003
 
|has Proceedings DOI=https://doi.org/10.1007/BFb0028003
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007/BFb0028003
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007/BFb0028003
 +
|pageCreator=Tolga.karaarslan
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
The 11th Workshop on Computer Science Logic (CSL) 1997
+
The 11th International Workshop on Computer Science Logic (CSL) 1997

Latest revision as of 20:20, 1 April 2022

CSL 1997
11th International Workshop on Computer Science Logic
Ordinal 11
Event in series CSL
Dates 1997/08/23 (iCal) - 1997/08/29
Presence presence
Location
Location: Aarhus, Denmark
Loading map...

Papers: Submitted 92 / Accepted 26 (28.3 %)
Table of Contents

,



The 11th International Workshop on Computer Science Logic (CSL) 1997