Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (Lecture Notes in Computer Science (968), Band 968)

von: Naomi Lindenstrauss · Nachum Dershowitz Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-60381-8 ISBN-10: 3-540-60381-6 Springer · 2008