Automated termination proofs using Walther recursion
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/35388 |
| _version_ | 1826215566659026944 |
|---|---|
| author | Wu, Alexander |
| author2 | David A. McAllester. |
| author_facet | David A. McAllester. Wu, Alexander |
| author_sort | Wu, Alexander |
| collection | MIT |
| description | Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. |
| first_indexed | 2024-09-23T16:35:30Z |
| format | Thesis |
| id | mit-1721.1/35388 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T16:35:30Z |
| publishDate | 2007 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/353882019-04-12T15:58:39Z Automated termination proofs using Walther recursion Wu, Alexander David A. McAllester. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. Includes bibliographical references (leaves 63-64). by Alexander Wu. M.Eng. 2007-01-10T15:59:45Z 2007-01-10T15:59:45Z 1994 1994 Thesis http://hdl.handle.net/1721.1/35388 31163520 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 64 leaves 2233506 bytes 2406336 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science Wu, Alexander Automated termination proofs using Walther recursion |
| title | Automated termination proofs using Walther recursion |
| title_full | Automated termination proofs using Walther recursion |
| title_fullStr | Automated termination proofs using Walther recursion |
| title_full_unstemmed | Automated termination proofs using Walther recursion |
| title_short | Automated termination proofs using Walther recursion |
| title_sort | automated termination proofs using walther recursion |
| topic | Electrical Engineering and Computer Science |
| url | http://hdl.handle.net/1721.1/35388 |
| work_keys_str_mv | AT wualexander automatedterminationproofsusingwaltherrecursion |