Conditional Term Rewriting Systems, 1st International Workshop
Contributors: J. P. Jousnnaud (Editor)
Publisher: Springer
Published: June 1988
Language: eng
Number of pages: 278
ISBN-13: 9780387192420
Notes: Lecture Notes in Computer Science