Graphical Representation of Canonical Proof: Two Case Studies

Research output: ThesisDoctoral Thesis

33 Downloads (Pure)
Original languageEnglish
QualificationPh.D.
Awarding Institution
  • University of Edinburgh
Supervisors/Advisors
  • Simpson, Alex, Supervisor, External person
Award date24 Jun 2012
Publication statusPublished - 2012

Cite this