Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings (Lecture Notes in Computer Science (308), Band 308)

von: Stephane Kaplan · Jean-Pierre Jouannaud Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-19242-8 ISBN-10: 3-540-19242-5 Springer · 2008