Acronyms von A bis Z
LNCS516
-S. Kaplan/M. Okada (Eds.): Conditional and Typed Rewriting Systems, Springer-Verlag Proceedings 1990
-S. Kaplan/M. Okada (Eds.): Conditional and Typed Rewriting Systems, Springer-Verlag Proceedings 1990