International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954-
Springer-Verlag
|
International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Book, Ronald V.
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Middeldorp, Aart, 1963-
Springer
|
International Conference on Rewriting Techniques and Applications, Comon, Hubert
Springer
|
Symposium on Mathematical Foundations of Computer Science, Bečvář, J., 1926-
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Kirchner, Claude
Springer-Verlag
|
International Conference on Foundations of Data Organization, Litwin, W. (Witold), 1946-, Schek, H.-J
Springer-Verlag
|
Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications
Springer
|
Bose, R. C. (Raj Chandra), 1901-, Dowling, T. A., 1941-
University of North Carolina Press
|
International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-
Springer-Verlag
|
International Workshop on Conditional (and Typed) Rewriting Systems, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), …
Springer-Verlag
|