CSL 1991

From Openresearch
Revision as of 20:20, 1 April 2022 by Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
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