Constructive regular algebra in the spec calculus

  • Bart Gijsen

Student thesis: Master

Abstract

Date of Award30 Nov 1993
Original languageEnglish
SupervisorR.C. Backhouse (Supervisor 1)

Cite this

'