Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre
Springer-Verlag
|
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles
Springer
|
International Conference on Rewriting Techniques and Applications, Comon, Hubert
Springer
|
Pin, Jean Eric, Ecole de printemps d'informatique théorique
Springer-Verlag
|
Symposium on Theoretical Aspects of Computer Science, Reichel, Horst, Tison, Sophie
Springer
|
Conference on Foundations of Software Technology and Theoretical Computer Science, Nori, Kesav V., Madhavan, C. E. Veni
Springer-Verlag
|
Jouannaud, Jean-Pierre, International Conference on Rewriting Techniques and Applications
Springer-Verlag
|
Conference on Foundations of Software Technology and Theoretical Computer Science, Shyamasundar, Rudrapatna, 1950-
Springer-Verlag
|
Symposium on Theoretical Aspects of Computer Science, Diekert, Volker, 1955-, Habib, M. (Michel)
Springer
|
International Conference IFIP TCS, Leeuwen, Jan van
Springer
|
International Workshop on Conditional (and Typed) Rewriting Systems, Rusinowitch, M. (Michael), Remy, J. L.
Springer-Verlag
|
International Workshop on Graph-Theoretic Concepts in Computer Science, Schmidt, Gunther, 1939-, Berghammer, R. …
Springer-Verlag
|