CSL 1991

From ConfIDent
Revision as of 11:48, 7 September 2022 by WikiSysop (talk | contribs) (mobo import Concept___Fix_Presence-migrated)

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
Retrieved from "https://www.confident-conference.org:443/index.php?title=Event:CSL_1991&oldid=61228"
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
More information