Rewriting techniques and applications :  3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings / 
 RTA-89 
N. Dershowitz [ed.] 
 - Berlin :  Springer-Verlag,  1989 
 - 578 p. 
 - Lecture notes in computer science ;  no. 355 .
<br/><br/><label>ISBN: </label>3540510818 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Rewriting systems (Computer science)--Congresses<br/>Electronic digital computers--Programming--Congresses<br/>Algorithms--Congresses
<br/><br/><label>LC Class. No.: </label>QA267  / I555 1989