Machine theory Congresses 45 Formal languages 25 Computational complexity 17 Computer programming 17 Petri nets 9 Electronic data processing 6 Computer science 5 Mathematics 5 Switching theory 5 Computable functions 4 Artificial intelligence 3 Computers 3 Data processing 3 Electronic digital computers 3 Periodicals 3 Programming languages (Electronic computers) 3 Categories (Mathematics) 2 Computational linguistics 2 Computer algorithms 2 Control theory 2 Parallel processing (Electronic computers) 2 Robots 2 System analysis 2 Algebra 1 Algebras, Linear 1 Algorithms 1 Automata 1 Bionics 1 Computer programs 1