Interprétation abstraite des programmes Prolog

  • Jacques Gerard

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award1988
Original languageFrench
Awarding Institution
  • University of Namur
SupervisorBaudouin LE CHARLIER (Supervisor)

Cite this

'