International Conference on Rewriting Techniques and Applications, Book, Ronald V.
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Tison, Sophie
Springer
|
International Conference on Rewriting Techniques and Applications, Comon, Hubert
Springer
|
International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Kirchner, Claude
Springer-Verlag
|
Conference on Category Theory and Computer Science, Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T
Springer
|
International Conference on Rewriting Techniques and Applications, Dershowitz, Nachum, 1951-
Springer-Verlag
|
Symposium on Mathematical Foundations of Computer Science, Bečvář, J., 1926-
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-
Springer-Verlag
|
International symposium on programming, Dezani-Ciancaglini, Mariangiola, Montanari, U. (Ugo)
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Bachmair, Leo
Springer
|
International Conference on Rewriting Techniques and Applications, Giesl, Jürgen
Springer
|