A Program for Generating and Analyzing Term Rewriting Systems
| dc.contributor.advisor | Guttag, John V. | en_US |
| dc.contributor.author | Forgaard, Randy | en_US |
| dc.date.accessioned | 2023-03-29T15:11:34Z | |
| dc.date.available | 2023-03-29T15:11:34Z | |
| dc.date.issued | 1984-09 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149613 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-343 | |
| dc.title | A Program for Generating and Analyzing Term Rewriting Systems | en_US |
| dc.identifier.oclc | 13551859 |
