Graphical Representation of Canonical Proof: Two Case Studies

Research output: ThesisDoctoral Thesis

18 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

Graphical Representation of Canonical Proof: Two Case Studies. / Heijltjes, Willem.

2012. 227 p.

Research output: ThesisDoctoral Thesis

@phdthesis{8c81cde43fc049289d3d52b5b5adc65a,
title = "Graphical Representation of Canonical Proof: Two Case Studies",
author = "Willem Heijltjes",
year = "2012",
language = "English",
school = "University of Edinburgh",

}

TY - THES

T1 - Graphical Representation of Canonical Proof: Two Case Studies

AU - Heijltjes, Willem

PY - 2012

Y1 - 2012

M3 - Doctoral Thesis

ER -