Term rewriting and all that

Franz Baader and Tobias Nipkow
Bok · Engelsk · 1998

Utgitt	New York : Cambridge University Press , c1998
Omfang	xii, 301 s.
Emner	Rewriting systems (Computer science) Omskrivning omskrivingssystemer
Dewey	005.131
ISBN	0521455200. - 0521779200