Higher Order Termination: Automatable Techniques for Proving Termination of Higher-Order Term Rewriting Systems

C.L.M. Kop

Research output: PhD ThesisPhD-Thesis - Research and graduation internal

174 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Klop, J.W., Supervisor
  • van Raamsdonk, Femke, Co-supervisor
Award date13 Nov 2012
Publication statusPublished - 2012

Bibliographical note

Naam instelling promotie: VU Vrije Universiteit
Naam instelling onderzoek: VU Vrije Universiteit

Cite this