Computational complexity 62 Congresses 32 Machine theory 17 Data processing 14 Algorithms 8 Trees (Graph theory) 8 Data structures (Computer science) 7 Computable functions 5 Formal languages 5 Mathematics 4 Approximation theory 3 Computer programming 3 Electronic data processing 3 Logic, Symbolic and mathematical 3 Artificial intelligence 2 Computer science 2 Control theory 2 Mathematical optimization 2 Neural networks (Computer science) 2 Parallel processing (Electronic computers) 2 Programming languages (Electronic computers) 2 System analysis 2 Turing machines 2 Automatic theorem proving 1 Bilinear systems 1 Branching processes 1 Categories (Mathematics) 1 Coding theory 1 Computer algorithms 1 Computers 1