- Schwichtenberg, Helmut, 1942- (7)
- Bauer, Friedrich Ludwig, 1924- (1)
- Berger, Ulrich, 1956- (1)
- Brauer, Wilfried, 1937- (1)
- Clote, Peter G. (1)
- European Association for Computer Science Logic (1)
- NATO Advanced Study Institute (1)
- NATO Advanced Study Institute on Logic and Algebra of Specification (1)
- NATO Advanced Study Institute on Logic of Computation (1)
- NATO Advanced Study Institute on Proof and Computation (1)
- North Atlantic Treaty Organization. Scientific Affairs Division (1)
- Steinbrüggen, Ralf (1)
- Troelstra, A. S. (Anne Sjerp) (1)
- Workshop on Computer Science Logic (1)