Automated termination proofs using Walther recursion
Author(s)
Wu, Alexander![Thumbnail](/bitstream/handle/1721.1/35388/31163520-MIT.pdf.jpg?sequence=4&isAllowed=y)
DownloadFull printable version (2.294Mb)
Advisor
David A. McAllester.
Terms of use
Metadata
Show full item recordDescription
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994. Includes bibliographical references (leaves 63-64).
Date issued
1994Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science