- Machine theory--Congresses (18)
- Formal languages--Congresses (16)
- Programming languages (Electronic computers)--Congresses (14)
- Electronic data processing--Congresses (3)
- Sequential machine theory--Congresses (3)
- Computational complexity--Congresses (2)
- Electronic digital computers--Programming--Congresses (2)
- 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)
- 電子工学 (1)