Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

Proceedings

von: Stephane Kaplan · Mitsuhiro Okada

Taschenbuch

ISBN-13: 978-3-662-19061-6

ISBN-10: 3-662-19061-3

Springer · 2014

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