1-6 of 6 Books

Rewriting Techniques and Applications
By Jean-Pierre Jouannaud

Algebraic and logic programming
By Michael Hanus,Germany) Alp 9 (1996 Aachen,M. Rodriguez Artalejo

Algebraic and logic programming
By J. Grabowski,Pierre Lescanne,Wolfgang Wechler

Rewriting techniques and applications
By Pierre Lescanne