LCS Publication Details
Publication Title: A PROGRAM FOR GENERATING AND ANALYZING TERM REWRITING SYSTEMS
Publication Author: Forgaard, Randy
Additional Authors:
LCS Document Number: MIT-LCS-TR-343
Publication Date: 9-1-1984
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
This thesis presents new results in the use of term rewriting systems for automatic theorem proving. The design and implementation of REVE 2, a computer program that incorporates these results, is described. In addition, an introduction to the basic theory, procedures, and algorithms of term rewriting is provided, in a manner suitable for non-specialists.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.