- Computer science--Mathematics--Congresses (13)
- Formal languages--Congresses (6)
- Machine theory--Congresses (6)
- Electronic digital computers--Programming--Congresses (3)
- Programming (Electronic computers)--Congresses (3)
- Computational complexity--Congresses (2)
- Data base management--Congresses (2)
- Electronic data processing--Mathematics--Congresses (2)
- Sequential machine theory--Congresses (2)
- Algorithms--Congresses (1)
- Computable functions--Congresses (1)
- Parallel processing (Electronic computers)--Congresses (1)
- Programming languages (Electronic computers)--Congresses (1)