Relation

Theory of computation in ACM Computing Classification

  • Models of computation
  • Formal languages and automata theory
  • Computational complexity and cryptography
  • Logic
  • Design and analysis of algorithms
  • Randomness, geometry and discrete structures
  • Theory and algorithms for application domains
  • Semantics and reasoning

0

1

Updated 2020-06-24

Tags

Computing Sciences

Related