Difference between revisions of "CSL 1991"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
Line 14: Line 14:
 
|has Proceedings DOI=https://doi.org/10.1007/BFb0023753
 
|has Proceedings DOI=https://doi.org/10.1007/BFb0023753
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2FBFb0023753
 
|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2FBFb0023753
 +
|pageCreator=Tolga.karaarslan
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
 
The 5th Workshop on Computer Science Logic (CSL) 1991
 
The 5th Workshop on Computer Science Logic (CSL) 1991

Latest revision as of 20:20, 1 April 2022

CSL 1991
5th Workshop on Computer Science Logic
Ordinal 5
Event in series CSL
Dates 1991/10/07 (iCal) - 1991/10/11
Presence presence
Location
Location: Berne, Switzerland
Loading map...

Table of Contents

,



The 5th Workshop on Computer Science Logic (CSL) 1991


Topics

The topics included:

  • Theory of Computation
  • Mathematical Logic and Foundations
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Algorithm Analysis and Problem Complexity
  • Computation by Abstract Devices