- Machine theory--Congresses (16)
- Formal languages--Congresses (14)
- Programming languages (Electronic computers)--Congresses (12)
- Computational complexity--Congresses (10)
- Electronic data processing--Congresses (6)
- Electronic digital computers--Programming--Congresses (5)
- Logic, Symbolic and mathematical--Congresses (2)
- Sequential machine theory--Congresses (2)
- Computer programs--Correctness--Congresses (1)
- Computer science--Mathematics--Congresses (1)
- Data structures (Computer science)--Congresses (1)
- Graph grammars--Congresses (1)
- Programming (Electronic computers)--Congresses (1)
- Programming languages (Electronic computers)--Semantics--Congresses (1)
- Programming languages (Eletronic computers)--Congresses (1)
- プログラミング(電子計算機) (1)
- 機械論 (1)
- (13)