- Jouannaud, Jean-Pierre (13)
- Comon, Hubert (2)
- French Spring School of Theoretical Computer Science (2)
- Futatsugi, Kokichi (2)
- Goguen, Joseph (2)
- International Joint Conference on Theory and Practice of Software Development (2)
- Kanade, Takeo (2)
- Meseguer, José (2)
- Shao, Zhong (2)
- CCL (1)
- Colloquium on Formal Approaches of Software Engineering (1)
- Colloquium on Trees in Algebra and Programming (1)
- Conference on Functional Programming Languages and Computer Architecture (1)
- Gaudel, M.-C. (Marie-Claude) (1)
- Gaudel, Marie-Claude (1)
- International Conference on Rewriting Techniques and Applications (1)
- Kaplan, Stéphane, 1961- (1)
- Meseguer, Jos? (1)
- 二木, 厚吉(1948-) (1)