Order sorted computer algebra and coercions

  • Nicolas James Doye

Student thesis: Doctoral ThesisPhD

Abstract

Date of Award1997
Original languageEnglish
Awarding Institution
  • University of Bath

Cite this

Order sorted computer algebra and coercions
Doye, N. J. (Author). 1997

Student thesis: Doctoral ThesisPhD