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

    '