Title: Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995
Subjects: Computer programming, Rewriting systems (Computer science), Algorithms, Congresses, Electronic digital computers, programming