Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings: 516 (Lecture Notes in Computer Science)

More Information

Format: Paperback
Pages: 484
Edition: 1991
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540543171
ISBN 13: 9783540543176