International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954-
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Middeldorp, Aart, 1963-
Springer
|
Nipkow, Tobias, 1958-, International Conference on Rewriting Techniques and Applications
Springer
|
International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Comon, Hubert
Springer
|
International Conference on Rewriting Techniques and Applications, Narendran, Paliath, 1955-, Rusinowitch, M. (Michael)
Springer
|
International Conference on Rewriting Techniques and Applications, Kirchner, Claude
Springer-Verlag
|
AAECC, Mora, Teo
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Dershowitz, Nachum, 1951-
Springer-Verlag
|
International Symposium, PLILP, Palamidessi, Catuscia, Glaser, Hugh, Meinke, Karl
Springer
|
International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-
Springer-Verlag
|
Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre
Springer-Verlag
|