home
>
book reviews
> Matthias Jantzen
Google >
Matthias Jantzen
author : Matthias Jantzen
Short works
Basics of Term Rewriting. 1997.
(In
Beyond Words
)