Term rewriting systems : Terese

[editors: Marc Bezem, Jan Willem Klop, Roel de Vrijer]
Bok · Engelsk · 2003

Utgitt	Cambridge : Cambridge University Press , 2003
Omfang	XXII, 884 s.
Emner	Omskrivning omskrivingssystemer
ISBN	0521391156