Stephane Kaplan的作品

Cover for Stephane Kaplan · Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-14, 1990. Proceedings (Workshop Proceedings) - Lecture Notes in Computer Science (Paperback Book) (1991)
Paperback Book
Conditional and Typed Rewriting ...
Stephane Kaplan
Cover for Stephane Kaplan · Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1988)
Paperback Book
Conditional Term Rewriting Syste...
Stephane Kaplan