A Semantic Based Workbench for the Termination Analysis of Logic Programs

Translated title of the thesis: שולחן עבודה מסובב סמנטיקה לניתוח סיום ריצה עבור תוכניות לוגיות
  • Samir Genaim

Student thesis: Doctoral Thesis

Date of Award2003
Original languageHebrew
Awarding Institution
  • Ben-Gurion University of the Negev
SupervisorMichael Codish (Supervisor)

Cite this

'