Paliath Narendran, Narendran, Paliath, Rusinowitch, Michael
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Conference on Rewriting Techniques and Applications, Comon, Hubert
Springer
|
International Conference on Rewriting Techniques and Applications, Book, Ronald V.
Springer-Verlag
|
IJCAR, Basin, David, Rusinowitch, Michaël
Springer
|
European Symposium on Programming, Swierstra, S. Doaitse, European Conferences on Theory and Practice of Software
Springer
|
International Workshop on Conditional (and Typed) Rewriting Systems, Rusinowitch, M. (Michael), Remy, J. L.
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Bachmair, Leo
Springer
|
International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-
Springer-Verlag
|
CAV (Conference), Halbwachs, Nicolas, Peled, Doron
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Hsiang, Jieh, 1954-
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Tison, Sophie
Springer
|
International Conference on Rewriting Techniques and Applications, Kirchner, Claude
Springer-Verlag
|