Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: March 1995
Language: eng
Number of pages: 471
ISBN-13: 9780387592008
First sentence: The property of completeness for a Term Rewriting System, that is being Church-Rosser and terminating, is of fundamental importance in every application of rewriting.