- Machine theory--Congresses (14)
- Formal languages--Congresses (13)
- Programming languages (Electronic computers)--Congresses (11)
- Sequential machine theory--Congresses (3)
- Programming (Electronic computers)--Congresses (2)
- Computational complexity--Congresses (1)
- Data structures (Computer science)--Congresses (1)
- Electronic data processing--Congresses (1)
- Graph grammars--Congresses (1)
- Programming languages (Electronic computers)--Semantics--Congresses (1)
- プログラミング(電子計算機) (1)
- 機械論 (1)
- 総記--情報学．情報科学 (1)
- 電子装置の応用 (1)