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

Constructive regular algebra in the spec calculus
Gijsen, B. (Author). 30 Nov 1993

Student thesis: Master