International Workshop on Conditional (and Typed) Rewriting Systems, Rusinowitch, M. (Michael), Remy, J. L.
Springer-Verlag
|
International CTRS Workshop, Kaplan, Stéphane, Okada, Mitsuhiro
SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
|
SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
|
International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, Lindenstrauss, Naomi
SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
|
International Workshop on Conditional (and Typed) Rewriting Systems, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), …
Springer-Verlag
|
Terese
Cambridge University Press
|
International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Narendran, Paliath, 1955-, Rusinowitch, M. (Michael)
Springer
|
Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre
Springer-Verlag
|
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J
Springer-Verlag
|
Woods, M. J. (Michael J.), Wiggins, David, Edgington, Dorothy
Clarendon Press, Oxford University Press
|
IJCAR, Basin, David, Rusinowitch, Michaël
Springer
|