No photo of Efrem Mbaki Luzayisu

Efrem Mbaki Luzayisu

19802001
If you made any changes in Pure these will be visible here soon.

Projects 1980 2001

Thesis

Etude du déterminisme des programmes Prolog avec cut, par interprétation abstraite

Author: Mbaki Luzayisu, E., 1998

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science