LIBRARY Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings 1995 · ENGLISH · PDF View details →
LIBRARY Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings 1995 · ENGLISH · DJVU View details →