International Workshop on Conditional (and Typed) Rewriting Systems, Rusinowitch, M. (Michael), Remy, J. L.
Springer-Verlag
|
Woods, M. J. (Michael J.), Wiggins, David, Edgington, Dorothy
Clarendon Press, Oxford University Press
|
Kaplan
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
Paliath Narendran, Narendran, Paliath, Rusinowitch, Michael
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Workshop on Conditional (and Typed) Rewriting Systems, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), …
Springer-Verlag
|
International CTRS Workshop, Kaplan, Stéphane, Okada, Mitsuhiro
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, 1951-, Lindenstrauss, Naomi
Springer-Verlag
|
International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, Lindenstrauss, Naomi
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre
Springer-Verlag
|
Terese
Cambridge University Press
|
Kaplan, Stephane., Jouannaud, Jean-Pierre., SpringerLink (Online service)
|
International Conference on Rewriting Techniques and Applications, Giesl, J?rgen, Kanade, Takeo
Springer eBooks Computer Science, Springer Berlin / Heidelberg
|