Date of Award | 2003 |
---|---|
Original language | Hebrew |
Awarding Institution |
|
Supervisor | Michael Codish (Supervisor) |
A Semantic Based Workbench for the Termination Analysis of Logic Programs
Student thesis: Doctoral Thesis