Substitutions, unification et interprétation abstraite (des programmes logiques)

  • Christophe LECLERE

    Student thesis: Master types › Master in Mathematics

    Date of AwardJun 1995
    Original languageFrench
    Awarding Institution
    • University of Namur
    SupervisorVan Hien Nguyen (Supervisor)

    Cite this

    '