Rewriting Techniques and Applications
Subtitle: 4th International Conference, Rta-91, Como, Italy, April 10-12, 1991. Proceedings (Lecture Notes in Computer Science)
Publisher: Not Avail; Springer-Verlag
Published: April 1991
Language: eng
Format: Paperback
Number of pages: 458
ISBN-13: 9783540539049
Subjects: Applied mathematics; General Theory of Computing; Logic; Mathematics; Programming Languages - General; Computer Science
First sentence: The theory of Orthogonal Term Rewrite Systems (OTRS) is now well established within theoretical computer science.