Conditional Term Rewriting Systems - Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992 - Proceedings - Paperback - 1993

This volume contains the papers presented at the third International Workshop on Conditional Term Rewriting Systems. Topics covered include conditional rewriting and its applications to programming languages, specification languages, automated deduction and constrained rewriting.
Year of publication: 1993
Pagination: 507 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science
Editor: Michael Rusinowitch, Jean-Luc Remy