A Survey of Rewrite Systems

Peter H. Schmitt. A Survey of Rewrite Systems. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings. Volume 329 of Lecture Notes in Computer Science, pages 235-262, Springer, 1987.

Abstract

Abstract is missing.