DocumentCode
30644
Title
On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types
Author
David Allen McAllester استاد راهنما
University
Dspace MIT Library
Grade
نامعلوم
Major
Thesis )M.S.(
Number of pages
0
Publish Date
1996
Keyword
Electrical Engineering and Computer Science
Note
01
Language
انگليسي
Link To Document