A Program for Generating and Analyzing Term Rewriting Systems
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 rewri...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149613 |
| _version_ | 1826196028796174336 |
|---|---|
| author | Forgaard, Randy |
| author2 | Guttag, John V. |
| author_facet | Guttag, John V. Forgaard, Randy |
| author_sort | Forgaard, Randy |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T10:19:41Z |
| id | mit-1721.1/149613 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T10:19:41Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1496132023-03-30T04:02:48Z A Program for Generating and Analyzing Term Rewriting Systems Forgaard, Randy Guttag, John V. 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. 2023-03-29T15:11:34Z 2023-03-29T15:11:34Z 1984-09 https://hdl.handle.net/1721.1/149613 13551859 MIT-LCS-TR-343 application/pdf |
| spellingShingle | Forgaard, Randy A Program for Generating and Analyzing Term Rewriting Systems |
| title | A Program for Generating and Analyzing Term Rewriting Systems |
| title_full | A Program for Generating and Analyzing Term Rewriting Systems |
| title_fullStr | A Program for Generating and Analyzing Term Rewriting Systems |
| title_full_unstemmed | A Program for Generating and Analyzing Term Rewriting Systems |
| title_short | A Program for Generating and Analyzing Term Rewriting Systems |
| title_sort | program for generating and analyzing term rewriting systems |
| url | https://hdl.handle.net/1721.1/149613 |
| work_keys_str_mv | AT forgaardrandy aprogramforgeneratingandanalyzingtermrewritingsystems AT forgaardrandy programforgeneratingandanalyzingtermrewritingsystems |