Rewriting Techniques and Applications
Subtitle: 4th International Conference, Rta-91, Cumo, Italy, April 10-12, 1991 Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: May 1991
Language: eng
Number of pages: 458
ISBN-13: 9780387539041
First sentence: The theory of Orthogonal Term Rewrite Systems (OTRS) is now well established within theoretical computer science.