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

Proceedings

von: Stephane Kaplan · Mitsuhiro Okada

Taschenbuch

ISBN-13: 978-3-540-54317-6

ISBN-10: 3-540-54317-1

Springer · 2008
Siehe auch:
2014PaperbackConditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings