Conditional Term Rewriting Systems, 1st International Workshop (Lecture Notes in Computer Science)

Conditional

by S. Kaplan

Paperback

details (USA).

ISBN: 978-0-387-19242-0

ISBN-10: 0-387-19242-5

Springer Verlag · 1988