- Kirchner, Hélène (5)
- International Conference on Algebraic and Logic Programming (2)
- Colloquium on Trees in Algebra and Programming (1)
- International Conference on Automated Deduction (1)
- International Workshop on Frontiers of Combining Systems (1)
- Kirchner, Claude (1)
- Levi, Giorgio, 1942- (1)
- Ringeissen, Christophe, 1967- (1)
- Wechler, Wolfgang, 1940- (1)