Rewriting techniques and applications :  6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings / 
 RTA-95 
Jieh Hsiang (ed.) 
 - Berlin :  Springer-Verlag,  1995 
 - 471 p. 
 - Lecture notes in computer science ;  no. 914 .
<br/><br/><label>ISBN: </label>3540592008 
<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 1995