Conditional Term Rewriting Systems
Subtitle: Third International Workshop, Ctrs-92 Pont-A-Mousson, France, July 8-10, 1992 Proceedings (Lecture Notes in Computer Science)
Contributors: J. L. Remy (Editor)
Publisher: Springer
Published: May 1993
Language: eng
Number of pages: 512
ISBN-13: 9780387563930