Terese  <br/><br/>
Term Rewriting Systems  :  
/ Terese  
 - Uk   Cambridge University Press  c2003 
 - 884 p.  ill.  23 cm. 
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>9780521391153 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Rewriting Systems (Computer Science); Trs Rewriting Formats
<br/><br/><label>Dewey Class. No.: </label>005.131  / TER