Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Bachmair, Leo
Springer
|
International Workshop on Conditional (and Typed) Rewriting Systems, Kaplan, Stéphane, 1961-, Okada, M. (Mitsuhiro), …
Springer-Verlag
|
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Dowek, Gilles
Springer
|
International Workshop CTRS, Remy, J. L., Rusinowitch, Michael
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Conference on Rewriting Techniques and Applications, Tison, Sophie
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
|
Kaplan, Stephane., Jouannaud, Jean-Pierre., SpringerLink (Online service)
|
International Conference on Rewriting Techniques and Applications, Book, Ronald V.
Springer-Verlag
|
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J
Springer-Verlag
|
International Conference on Rewriting Techniques and Applications, Ganzinger, Harald, 1950-
Springer-Verlag
|